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

zbMATH Open1349.18002arXiv1410.3990MaRDI QIDQ2808146FDOQ2808146

Authors: Matteo Tommasini 

Publication date: 26 May 2016

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

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.

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

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

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

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)

Cited In (13)

• Bicategories of fractions for groupoids in monadic categories
• 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
• On certain 2-categories admitting localisation by bicategories of fractions
• The groupoid structure of groupoid morphisms
• A bicategory of reduced orbifolds from the point of view of differential geometry
• A calculus of lax fractions
• Faithful calculus of fractions
• The weakly globular double category of fractions of a category
• The elementary construction of formal anafunctors
• Right saturations and induced pseudofunctors between bicategories of fractions
• Coinverters and categories of fractions for categories with structure

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)