The elementary construction of formal anafunctors

DOI10.52547/cgasa.15.1.183zbMath1502.18016arXiv1808.04552OpenAlexW3192114566MaRDI QIDQ5077345

David Michael Roberts

Publication date: 18 May 2022

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

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

zbMATH Keywords

bicategory of fractionsformal category theoryanafunctor

Mathematics Subject Classification ID

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

Related Items (2)

Bicategories of fractions revisited: towards small homs and canonical 2-cells ⋮ Diffeological coarse moduli spaces of stacks over manifolds

Cites Work

• Unnamed Item
• Unnamed Item
• The weak choice principle WISC may fail in the category of sets
• On certain 2-categories admitting localisation by bicategories of fractions
• Explaining Gabriel-Zisman localization to the computer
• Two-dimensional sheaf theory
• Avoiding the axiom of choice in general category theory
• Localization of cofibration categories and groupoid \(C^\ast\)-algebras
• Two-dimensional regularity and exactness
• Internal categories, anafunctors and localisations
• The axiom of multiple choice and models for constructive set theory
• 2-Dimensional Categories
• Bicategorical fibration structures and stacks
• Embedding orders into the cardinals with \mathsf DC_κ

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