The elementary construction of formal anafunctors
David Roberts
10.25909/5b6cfd1a73e55
https://adelaide.figshare.com/articles/journal_contribution/The_elementary_construction_of_formal_anafunctors/6953318
These notes give an elementary and formal 2-categorical construction of the bicategory of anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful.
2018-08-10 02:51:57
anafunctors
2-categories
localization
formal category theory
Category Theory, K Theory, Homological Algebra