The elementary construction of formal anafunctors

DOI10.52547/CGASA.15.1.183MaRDI QIDQ5077345zbMATH OpenOpenAlexFDO

Authors David Michael Roberts

Publication date 18 May 2022

Published in Categories and General Algebraic Structures with Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

anafunctorbicategory of fractionsformal category theory

Mathematics Subject Classification ID

Internal categories and groupoids (18D40) Formal category theory (18D70) Localization of categories, calculus of fractions (18E35) Grothendieck topologies and Grothendieck topoi (18F10) 2-categories, bicategories, double categories (18N10)

Abstract: This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully faithful.

Recommendations

• Internal categories, anafunctors and localisations
• Some insights on bicategories of fractions: representations and compositions of 2-morphisms
• The weakly globular double category of fractions of a category
• On certain 2-categories admitting localisation by bicategories of fractions
• Avoiding the axiom of choice in general category theory

Cites work

• 2-Dimensional Categories
• Avoiding the axiom of choice in general category theory
• Bicategorical fibration structures and stacks
• Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
• Explaining Gabriel-Zisman localization to the computer
• scientific article; zbMATH DE number 929701 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Internal categories, anafunctors and localisations
• Localization of cofibration categories and groupoid \(C^\ast\)-algebras
• On certain 2-categories admitting localisation by bicategories of fractions
• The axiom of multiple choice and models for constructive set theory
• The weak choice principle WISC may fail in the category of sets
• Two-dimensional regularity and exactness
• Two-dimensional sheaf theory

Cited in

(7)

• Avoiding the axiom of choice in general category theory
• Internal categories, anafunctors and localisations
• Bicategories of fractions revisited: towards small homs and canonical 2-cells
• Diffeological coarse moduli spaces of stacks over manifolds
• Bicategories of action groupoids
• The bicategory of Lie groupoids within diffeological groupoids
• The elementary theory of the 2-category of small categories

This page was built for publication: The elementary construction of formal anafunctors

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