Introduction to Categories and Categorical Logic
From MaRDI portal
Publication:3000919
DOI10.1007/978-3-642-12821-9_1zbMath1217.18001arXiv1102.1313OpenAlexW3121856175MaRDI QIDQ3000919
Nikos Tzevelekos, Samson Abramsky
Publication date: 31 May 2011
Published in: New Structures for Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.1313
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (11)
Causal categories: relativistically interacting processes ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation ⋮ Unnamed Item ⋮ Program equivalence in a simple language with state ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ A monad for randomized algorithms ⋮ Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism ⋮ Unnamed Item ⋮ Phase Groups and the Origin of Non-locality for Qubits ⋮ Discrete density comonads and graph parameters ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
This page was built for publication: Introduction to Categories and Categorical Logic
