Some insights on bicategories of fractions: representations and compositions of 2-morphisms

MaRDI QIDQ2808146zbMATH OpenFDO

Authors Matteo Tommasini

Publication date 26 May 2016

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.3990, http://www.emis.de/journals/TAC/volumes/31/10/31-10abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

bicategories of fractionsbicalculus of fractionspseudiofunctors

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Topological groupoids (including differentiable and Lie groupoids) (22A22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Abstract: In this paper we investigate the construction of bicategories of fractions originally described by D. Pronk: given any bicategory $mathcalC$ together with a suitable class of morphisms $mathbfW$, one can construct a bicategory $mathcalC[mathbf{W}^{-1}]$, where all the morphisms of $mathbfW$ are turned into internal equivalences, and that is universal with respect to this property. Most of the descriptions leading to this construction were long and heavily based on the axiom of choice. In this paper we considerably simplify the description of the equivalence relation on $2$-morphisms and the constructions of associators, vertical and horizontal compositions in $mathcalC[mathbf{W}^{-1}]$, thus proving that the axiom of choice is not needed under certain conditions. The simplified description of associators and compositions will also play a crucial role in two forthcoming papers about pseudofunctors and equivalences between bicategories of fractions.

Recommendations

• Bicategories of fractions revisited: towards small homs and canonical 2-cells
• Bicategories of fractions for groupoids in monadic categories
• On certain 2-categories admitting localisation by bicategories of fractions
• Right saturations and induced pseudofunctors between bicategories of fractions
• The weakly globular double category of fractions of a category

Cited in

(13)

• Explaining Gabriel-Zisman localization to the computer
• Grothendieck categories as a bilocalization of linear sites
• Bicategories of fractions revisited: towards small homs and canonical 2-cells
• Right saturations and induced pseudofunctors between bicategories of fractions
• Bicategories of fractions for groupoids in monadic categories
• Coinverters and categories of fractions for categories with structure
• On certain 2-categories admitting localisation by bicategories of fractions
• A bicategory of reduced orbifolds from the point of view of differential geometry
• The weakly globular double category of fractions of a category
• A calculus of lax fractions
• The groupoid structure of groupoid morphisms
• The elementary construction of formal anafunctors
• Faithful calculus of fractions

This page was built for publication: Some insights on bicategories of fractions: representations and compositions of 2-morphisms

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