Remarks on classifications and adjunctions
From MaRDI portal
Publication:861977
DOI10.1007/BF02875743zbMath1194.94172OpenAlexW2062066398MaRDI QIDQ861977
Publication date: 2 February 2007
Published in: Rendiconti del Circolo Matemàtico di Palermo. Serie II (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02875743
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Information theory (general) (94A15) Applications of set theory (03E75) Categories of spans/cospans, relations, or partial maps (18B10) Abstract model theory (03C95)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Institution morphisms
- An institution-independent proof of Craig interpolation theorem
- *-Autonomous categories and linear logic
- Information Flow
- Institutions: abstract model theory for specification and programming
- An introduction to category-based equational logic
This page was built for publication: Remarks on classifications and adjunctions