Model structures on the category of small double categories

DOI10.2140/AGT.2008.8.1855zbMATH Open1159.18302arXiv0711.0473OpenAlexW3124411399MaRDI QIDQ1007175FDOQ1007175

Authors: Thomas M. Fiore, Simona Paoli, Dorette Pronk 

Publication date: 20 March 2009

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

Abstract: In this paper we obtain several model structures on {�f DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double categories as internal categories in {�f Cat} and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, {�f DblCat} inherits a model structure as a category of algebras over a 2-monad. 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, several nerves, and horizontal categorification.

Full work available at URL: https://arxiv.org/abs/0711.0473

Recommendations

• A 2Cat-inspired model structure for double categories
• A model structure for weakly horizontally invariant double categories
• A model structure à la Thomason on 2-Cat
• A double categorical model of weak 2-categories
• A Thomason model structure on the category of small \(n\)-fold categories

zbMATH Keywords

categorificationmodel structure2-categorycolimitdouble category2-monadfundamental categoryinternal categoryfundamental double categoryhorizontal categorificationtransfer of model structure

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Homotopy theory (55P99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• The homotopy category is a homotopy category
• Parametrized homotopy theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to bicategories
• Simplicial homotopy theory
• Two-dimensional monad theory
• Title not available (Why is that?)
• Catégories structurées
• Note on commutativity in double semigroups and two-fold monoidal categories
• Homotopy-theoretic aspects of 2-monads
• Spaces with finitely many non-trivial homotopy groups
• Title not available (Why is that?)
• Non-semisimple topological quantum field theories for 3-manifolds with corners
• Determination of a double Lie groupoid by its core diagram
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• On the algebra of cubes
• Title not available (Why is that?)
• Towards an axiomatization of the theory of higher categories
• Title not available (Why is that?)
• Kan extensions in enriched category theory
• Three models for the homotopy theory of homotopy theories
• Title not available (Why is that?)
• Framed bicategories and monoidal fibrations
• Elementary observations on 2-categorical limits
• Title not available (Why is that?)
• Strong stacks and classifying spaces
• A Quillen model structure for bicategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 2-nerves for bicategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Quillen model structure for 2-categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Thomason model structure on the category of small \(n\)-fold categories
• Pseudo algebras and pseudo double categories
• Higher cospans and weak cubical categories (cospans in algebraic topology. I)
• Title not available (Why is that?)
• The span construction
• Comparing composites of left and right derived functors
• A model structure à la Thomason on 2-Cat
• Title not available (Why is that?)
• Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kan extensions in double categories. (On weak double categories. III)
• Lax Kan extensions for double categories (on weak double categories. IV)
• Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
• Homotopy inverses for nerve
• What is a free double category like?
• Cubical cospans and higher cobordisms. (Cospans in algebraic topology. III)
• The combinatorics of n-categorical pasting
• A 2-categorical pasting theorem
• Some Remarks Concerning Categories and Subspaces
• An operadic approach to internal structures
• Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizing tileorders
• Towards a 2-dimensional notion of holonomy.
• Double clubs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (20)

• 2-Segal objects and the Waldhausen construction
• 2-Segal sets and the Waldhausen construction
• Monads in double categories
• How strict is strictification?
• Cornering Optics
• Protocol choice and iteration for the free cornering
• Title not available (Why is that?)
• Waldhausen additivity: classical and quasicategorical
• Small presentations of model categories and Vopěnka's principle
• Title not available (Why is that?)
• A model structure on the category of small categories for coverings
• Concurrent Process Histories and Resource Transducers
• A model structure for weakly horizontally invariant double categories
• The Gray monoidal product of double categories
• Comparison of Waldhausen constructions
• Yoneda lemma and representation theorem for double categories
• A Thomason model structure on the category of small \(n\)-fold categories
• Small cycle double covers of products. II: Categorical and strong products with paths and cycles
• A double categorical model of weak 2-categories
• Title not available (Why is that?)

This page was built for publication: Model structures on the category of small double categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007175)