Results 1  10
of
16
Pseudo algebras and pseudo double categories
 J. Homotopy Relat. Struct
"... Abstract. As an example of the categorical apparatus of pseudo algebras over 2theories, we show that pseudo algebras over the 2theory of categories can be viewed as pseudo double categories with folding or as appropriate 2functors into bicategories. Foldings are equivalent to connection pairs, an ..."
Abstract

Cited by 28 (7 self)
 Add to MetaCart
Abstract. As an example of the categorical apparatus of pseudo algebras over 2theories, we show that pseudo algebras over the 2theory of categories can be viewed as pseudo double categories with folding or as appropriate 2functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2cells of the horizontal 2category. As a special case, strict 2algebras with one object and everything invertible are crossed modules under a group.
A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES
"... Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “l ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “lax algebras ” or “Kleisli monoids ” relative to a “monad ” on a bicategory. However, the meanings of these words differ from author to author, as do the specific bicategories considered. We propose a unified framework: by working with monads on double categories and related structures (rather than bicategories), one can define generalized multicategories in a way that unifies all previous
A Thomason model structure on the category of small nfold categories
 Algebr. Geom. Topol
"... Abstract. We construct a cofibrantly generated Thomason model structure on the category of small nfold categories and prove that it ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
(Show Context)
Abstract. We construct a cofibrantly generated Thomason model structure on the category of small nfold categories and prove that it
Model structures on the category of small double categories, Algebraic and Geometric Topology 8
, 2008
"... Abstract. In this paper we obtain several model structures on DblCat, the category of small double categories. Our model structures have three sources. We first transfer across a categorificationnerve adjunction. Secondly, we view double categories as internal categories in Cat and take as our weak ..."
Abstract

Cited by 10 (7 self)
 Add to MetaCart
(Show Context)
Abstract. In this paper we obtain several model structures on DblCat, the category of small double categories. Our model structures have three sources. We first transfer across a categorificationnerve adjunction. Secondly, we view double categories as internal categories in Cat and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, DblCat inherits a model structure as a category of algebras over a 2monad. Some of these model structures coincide and the different points of view give us further results about cofibrant replacements and cofibrant objects. As part of this program we give explicit descriptions and discuss properties of free double categories, quotient double categories, colimits of double categories, and several nerves
The glueing construction and double categories
 J. Pure Appl. Alg
, 2012
"... ar ..."
(Show Context)
MAPPING SPACES OF GrayCATEGORIES
"... Abstract. We define a mapping space for Grayenriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential ingredients are a path space construction for Graycategori ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We define a mapping space for Grayenriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential ingredients are a path space construction for Graycategories and a kind of comonadic resolution of the 1dimensional structure of a given Graycategory obtained by lifting the resolution of ordinary categories along the canonical fibration of GrayCat over Cat.
UNIVERSITÉ DE NICESOPHIA ANTIPOLIS — UFR Sciences École Doctorale de Sciences Fondamentales et Appliquées THÈSE pour obtenir le titre de Docteur en Sciences
"... présentée et soutenue par ..."
(Show Context)
Abstract. KAN EXTENSIONS IN DOUBLE CATEGORIES (ON WEAK DOUBLE CATEGORIES, PART III)
"... are closely related to the orthogonal adjunctions introduced in a previous paper. The pointwise case is treated by introducing internal comma objects, which can be defined in an arbitrary double category. ..."
Abstract
 Add to MetaCart
(Show Context)
are closely related to the orthogonal adjunctions introduced in a previous paper. The pointwise case is treated by introducing internal comma objects, which can be defined in an arbitrary double category.
A THOMASON MODEL STRUCTURE ON THE CATEGORY
, 808
"... Abstract. We construct a cofibrantly generated Thomason model structure on the category of small nfold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An nfold functor is a weak equivalence if and only if the diagonal of its n ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. We construct a cofibrantly generated Thomason model structure on the category of small nfold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An nfold functor is a weak equivalence if and only if the diagonal of its nfold nerve is a weak equivalence of simplicial sets. We introduce an nfold Grothendieck construction for multisimplicial sets, and prove that it is a homotopy inverse to the nfold nerve. As a consequence, the unit and counit of the adjunction between simplicial sets and nfold categories are natural weak equivalences.
LAX KAN EXTENSIONS FOR DOUBLE CATEGORIES (On weak double categories, Part IV)
"... Résumé. Les extensions de Kan à droite pour les catégories doubles (faibles) généralisent les limites doubles et d'autres constructions, appelées 'vertical companion ' et 'vertical adjoint', que nous avons étudiées dans des articles précédents. Nous prouvons ici que ces cas ..."
Abstract
 Add to MetaCart
(Show Context)
Résumé. Les extensions de Kan à droite pour les catégories doubles (faibles) généralisent les limites doubles et d'autres constructions, appelées 'vertical companion ' et 'vertical adjoint', que nous avons étudiées dans des articles précédents. Nous prouvons ici que ces cas particuliers sont suffisants pour construire toutes les extensions de Kan à droite ponctuelles, le long de foncteurs lax doubles satisfaisant une condition 'de Conduché'. Les catégories doubles 'basées sur les profoncteurs ' sont complètes, dans le sens qu'elles admettent toutes ces constructions, tandis que la catégorie double des carrés commutatifs d'une catégorie complète ne l'est pas, en général.