Introduction to Categories and Categorical Logic

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

zbMATH Keywords

compositionalitycategory theoryabstractiongenericitycategorical logicrepresentation-independence

Mathematics Subject Classification ID

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