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