Coherence of Proof-net Categories
Kosta Došen, Zoran Petrić (2005)
Publications de l'Institut Mathématique
Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006)
Theory and Applications of Categories [electronic only]
M. A. Batanin (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Ebrahimi-Fard, Kurusch, Guo, Li (2007)
Theory and Applications of Categories [electronic only]
P. Carrasco, J. Martínez Moreno (1997)
Extracta Mathematicae
Georges Hoff (1994)
Mathematica Scandinavica
Martin Markl (2007)
Czechoslovak Mathematical Journal
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.
Nakaoka, Hiroyuki (2008)
Theory and Applications of Categories [electronic only]
Bergman, George M. (2008)
Theory and Applications of Categories [electronic only]
Grandis, Marco (2007)
Theory and Applications of Categories [electronic only]
Romain Attal (2006)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
M. M. Kapranov, V. A. Voevodsky (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
P.A. Grillet (1991)
Semigroup forum
Bourn, Dominique (2004)
Theory and Applications of Categories [electronic only]
Shulman, Michael (2011)
The New York Journal of Mathematics [electronic only]
Renato Betti, Marco Grandis (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Mario Chartrelle (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Charles Ehresmann (1964)
Annales de l'institut Fourier
Cet article fait suite à trois mémoires parus dans les Annales de l’Institut Fourier (tomes 10, 13 et 14). Son but est d’étendre aux catégories ordonnées les résultats sur les atlas et sur la complétion, précédemment obtenus dans le cas des groupoïdes sous-préinductifs et prélocaux.Soit une catégorie ordonnée régulière dont le groupoïde des éléments inversibles est ordonné semi-régulier. On associe à les catégories -structurées régulières des fusées régulières et des fusées strictes régulières,...
François Foltz (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Marie-Claude Leblond (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques