The elementary construction of formal anafunctors
arXiv:1808.04552 · doi:10.52547/cgasa.15.1.183
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.
v1: 20 pages, many diagrams. v2: updated after referee comments, 32 pages. v3: one minor terminology change, one proof streamlined after additional feedback, 32 pages; v4: minor corrections, final version to appear in journal