Pullback and pushout squares in a special double category with connection
Pullbacks equivalent to pseudopullbacks
Quelques Remarques sur les Cosmos Elementaires
Qu'est-ce que la logique dans une catégorie ?
Quotients of unital -categories.
Remarques sur les machines et les structures
Representable T-categories. (T-catégories représentables.)
Resolutions by Polygraphs.
Rewriting on cyclic structures : equivalence between the operational and the categorical description
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
We present a categorical formulation of the rewriting of possibly cyclic term graphs, based on a variation of algebraic 2-theories. We show that this presentation is equivalent to the well-accepted operational definition proposed by Barendregt et al. – but for the case of circular redexes , for which we propose (and justify formally) a different treatment. The categorical framework allows us to model in a concise way also automatic garbage collection and rules for sharing/unsharing and...
Shape theory in a bicategory
Sheaves and Cauchy-complete categories
Simplicial matrices and the nerves of weak -categories I: Nerves of bicategories.
Stabile Kategorien.
Stable meet semilattice fibrations and free restriction categories.
Strictification of categories weakly enriched in symmetric monoidal categories.
Strongly groupoid graded rings and cohomology
We interpret the collection of invertible bimodules as a groupoid and call it the Picard groupoid. We use this groupoid to generalize the classical construction of crossed products to what we call groupoid crossed products, and show that these coincide with the class of strongly groupoid graded rings. We then use groupoid crossed products to obtain a generalization from the group graded situation to the groupoid graded case of the bijection from a second cohomology group, defined by the grading...
Structures pseudo-algébriques (1ère partie)
Sur les catégories préadditives topologiques
Sur les limites homotopiques de diagrammes homotopiquement cohérents