Bicartesian coherence revisited
Kosta Došen, Zoran Petrić (2009)
Zbornik Radova
Similarity:
Displaying similar documents to “Coherence of Proof-net Categories”
Bicartesian coherence revisited
What are sifted colimits?
Adamek, J., Rosicky, J., Vitale, E.M. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
Internal categories in a left exact cosimplicial category.
Pataraia, D. (1997)
Georgian Mathematical Journal
Similarity:
Higher cospans and weak cubical categories (cospans in algebraic topology. I).
Grandis, Marco (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Generalized Brown representability in homotopy categories: erratum.
Rosický, Jiří (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Pullback and finite coproduct preserving functors between categories of permutation representations.
Panchadcharam, Elango, Street, Ross (2006)
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:
The Mukai pairing. I: A categorical approach.
Căldăraru, Andrei, Willerton, Simon (2010)
The New York Journal of Mathematics [electronic only]
Similarity:
On the axiomatisation of Boolean categories with and without medial.
Strassburger, Lutz (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Free -categories.
Lyubashenko, Volodymyr, Manzyuk, Oleksandr (2006)
Theory and Applications of Categories [electronic only]
Similarity:
On sifted colimits and generalized varieties.
Adámek, Jiří, Rosický, Jiří (2001)
Theory and Applications of Categories [electronic only]
Similarity:
On the categorical semantics of elementary linear logic.
Laurent, Olivier (2009)
Theory and Applications of Categories [electronic only]
Similarity:
Equivariant higher algebraic K-theory for Waldhausen categories.
Kuku, Aderemi (2006)
Beiträge zur Algebra und Geometrie
Similarity: