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
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