Equality of proofs for linear equality
DOI10.1007/s00153-008-0096-0zbMath1159.03039arXivmath/0601490MaRDI QIDQ944225
Publication date: 12 September 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0601490
monoidal categories; linear logic; congruence relation; equality; adjunction; equivalence relation; generality of proofs; categorical coherence; equality of proofs; preordering relation
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
03G30: Categorical logic, topoi
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
18C05: Equational categories
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Cites Work
- On the equivalence of proofs involving identity
- Categorical logic and type theory
- Cut elimination in categories
- Generality of proofs and its Brauerian representation
- Simplicial Endomorphisms
- A Brauerian representation of split preorders
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item