Category Theory

DOI10.1093/acprof:oso/9780198568612.001.0001zbMath1100.18001OpenAlexW4251799386MaRDI QIDQ5472797

Publication date: 13 June 2006

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198568612.001.0001

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

The principal bundles over an inverse semigroup ⋮ Unnamed Item ⋮ Aligning concepts across proof assistant libraries ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Unnamed Item ⋮ Metaphor-based meaning excavation ⋮ A synthetic version of Lie's second theorem ⋮ Unnamed Item ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ The diffeology of Milnor's classifying space ⋮ Internal diagrams and archetypal reasoning in category theory ⋮ Path space connections and categorical geometry ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ A comparison between monoidal and substructural logics ⋮ Figures, Formulae, and Functors ⋮ Dijkstra and Hoare monads in monadic computation ⋮ On topological \(M\)-injective modules ⋮ On the Category of EQ-algebras ⋮ DisCoPy: Monoidal Categories in Python ⋮ Parseval wavelets on hierarchical graphs ⋮ Forcing revisited ⋮ Categorification of Hopf algebras of rooted trees. ⋮ Diffeological coarse moduli spaces of stacks over manifolds ⋮ Quotient toposes of discrete dynamical systems ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Choice structures in games ⋮ Quantum double models coupled to matter fields: A detailed review for a dualization procedure ⋮ Linear structures, causal sets and topology ⋮ Fundamental results for pointfree convex geometry ⋮ Data types à la carte ⋮ The Expression Lemma ⋮ Quantum mechanics over sets: a pedagogical model with non-commutative finite probability theory as its quantum probability calculus ⋮ A representation theorem for second-order functionals ⋮ A refinement of Stone duality to skew Boolean algebras ⋮ Mathematical structures of simple voting games ⋮ Exhaustive generation of atomic combinatorial differential operators ⋮ Representations of stably continuous semi-lattices by information systems and abstract bases ⋮ Why Categories? ⋮ Galois Connections for Recursive Types ⋮ Duality for the logic of quantum actions ⋮ Some reasons for generalising domain theory ⋮ Coalitions and Catastrophic Climate Change ⋮ A logic for Lawson compact algebraic L-domains ⋮ A DUALIZING OBJECT APPROACH TO NONCOMMUTATIVE STONE DUALITY ⋮ The rôle of categorical structures in infinitesimal calculus ⋮ Coherence for modalities ⋮ Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. ⋮ THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ Quantum logic in dagger kernel categories ⋮ Category theory and set theory as theories about complementary types of universals ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ Continuous L-domains in logical form ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ The Serre-Swan theorem for normed modules ⋮ On three arguments against categorical structuralism ⋮ Quantifying sequential subsumption ⋮ A non-unital generalized trace and linear complex structures ⋮ Algebraic presentation of semifree monads ⋮ A categorical approach to soft S-acts ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}