Small Objects in Categories of Algebras (1999)

Cached

Download Links

by Jan Jürjens

Active Bibliography

1 On a Problem of Gabriel and Ulmer – Jan Jürjens - 1999
4 Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem – Jesse Hughes, Bart Jacobs - 2002
12 THE CHU CONSTRUCTION – Michael Barr - 1996
1 How Algebraic Is Algebra? – J. Adamek, F. W. Lawvere, J. Rosicky - 2001
1 Categories: A Free Tour – Lutz Schröder
2 Functors on Locally Finitely Presented Additive Categories – Henning Krause
11 A Classification of Accessible Categories – Jiri Adamek, Francis Borceux, Stephen Lack, Jiri Rosicky - 1996
4 Some Properties Of Linear Logic Proved By Semantic Methods – Arnon Avron, Beverly Sackler - 1994
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
3 Categorical Multirelations, Linear Logic and Petri Nets – Valeria De Paiva - 1991
22 Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
2 COMPACTLY ACCESSIBLE CATEGORIES AND QUANTUM KEY DISTRIBUTION – Chris Heunen
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
16 Linearizing Intuitionistic Implication – Patrick Lincoln, Andre Scedrov, Natarajan Shankar - 1993
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
Modal Operators for Coequations – Steve Awodey, Jesse Hughes - 2001
4 Modal Predicates and Coequations – Alexander Kurz, Jirí Rosicky - 2002
1 A logic of implications in algebra and coalgebra – Manuela Sobral, Lurdes Sousa
Saturated models in institutions – Răzvan Diaconescu , Marius Petria