Topology and Category Theory in Computer Science

✍ Scribed by G. M. Reed, A. W. Roscoe, R. F. Wachter

Publisher: Oxford University Press
Year: 1991
Tongue: English
Leaves: 406
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.

📜 SIMILAR VOLUMES

Category Theory: Invariances and Symmetr

📁 Category Theory: Invariances and Symmetries in Computer Science

✍ Zoran Majkić 📂 Library 📅 2023 🏛 De Gruyter 🌐 English

This book presents the formal definition of fundamental transformations in Category Theory as a mathematical language to be used in Computer Science modelling. The book focuses in particular on models with Global and Internal symmetries (in analogy to Field Theories like Quantum Mechanics and Genera

Category Theory. Invariances and Symmetr

📁 Category Theory. Invariances and Symmetries in Computer Science

✍ Zoran Majkić 📂 Library 📅 2023 🏛 De Gruyter 🌐 English

Category Theory: Invariances and Symmetr

📁 Category Theory: Invariances and Symmetries in Computer Science

✍ Zoran Majkic 📂 Library 📅 2023 🏛 De Gruyter 🌐 English

<p>This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well. This inductive tr

Lectures on Factorization Homology, ∞-Ca

📁 Lectures on Factorization Homology, ∞-Categories, and Topological Field Theories

✍ Hiro Lee Tanaka 📂 Library 📅 2021 🏛 Springer 🌐 English

<p>This book provides an informal and geodesic introduction to factorization homology, focusing on providing intuition through simple examples. Along the way, the reader is also introduced to modern ideas in homotopy theory and category theory, particularly as it relates to the use of infinity-categ

Functorial Knot Theory: Categories of Ta

📁 Functorial Knot Theory: Categories of Tangles, Coherence, Categorical Deformations, and Topological Invariants

✍ David N. Yetter 📂 Library 📅 2001 🏛 World Scientific Pub Co ( 🌐 English

An exposition of building blocks for deformation theory of braided monoidal categories, giving rise to sequences of Vasseliv invariants of framed links, clarifying the interrelations between them.

Functorial Knot Theory : Categories of T

📁 Functorial Knot Theory : Categories of Tangles, Coherence, Categorical Deformations and Topological Invariants

✍ David N. Yetter 📂 Library 📅 2001 🏛 World Scientific Publishing Company 🌐 English

Almost since the advent of skein-theoretic invariants of knots and links (the Jones, HOMFLY and Kauffman polynomials), the important role of categories of tangles in the connection between low-dimensional topology and quantum-group theory has been recognized. The rich categorical structure naturally