Bicartesian coherence revisited
Kosta Došen, Zoran Petrić (2009)
Zbornik Radova
Similarity:
Displaying similar documents to “Dialectica and Chu constructions: cousins?”
Bicartesian coherence revisited
A logic of orthogonality
Jiří Adámek, Michel Hébert, Lurdes Sousa (2006)
Archivum Mathematicum
Similarity:
A logic of orthogonality characterizes all “orthogonality consequences" of a given class of morphisms, i.e. those morphisms such that every object orthogonal to is also orthogonal to . A simple four-rule deduction system is formulated which is sound in every cocomplete category. In locally presentable categories we prove that the deduction system is also complete (a) for all classes of morphisms such that all members except a set are regular epimorphisms and (b) for all classes...
On the categorical semantics of elementary linear logic.
Laurent, Olivier (2009)
Theory and Applications of Categories [electronic only]
Similarity:
On Semantics of a Term Calculus for Classical Logic
Silvia Likavec, Pierre Lescanne (2012)
Publications de l'Institut Mathématique
Similarity:
A logic of injectivity.
Adamek, J., Hebert, M., Sousa, L. (2007)
Journal of Homotopy and Related Structures
Similarity:
On the axiomatisation of Boolean categories with and without medial.
Strassburger, Lutz (2007)
Theory and Applications of Categories [electronic only]
Similarity:
What are sifted colimits?
Adamek, J., Rosicky, J., Vitale, E.M. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Doubles for monoidal categories.
Pastro, Craig, Street, Ross (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Axiomatic cohesion.
Lawvere, F.William (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Descent for compact 0-dimensional spaces.
Janelidze, George, Sobral, Manuela (2008)
Theory and Applications of Categories [electronic only]
Similarity: