The elementary construction of formal anafunctors
David Michael Roberts
TL;DR
This paper presents a straightforward 2-categorical method to construct a bicategory of right fractions, similar to anafunctors, using a 2-category with specific covering maps.
Contribution
It introduces an elementary, formal approach to constructing bicategories of right fractions in a 2-categorical setting, expanding the theoretical framework of anafunctors.
Findings
Provides a new 2-categorical construction method.
Establishes a bicategory of right fractions analogous to anafunctors.
Utilizes covering maps that are fully faithful and co-fully faithful.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.