The elementary construction of formal anafunctors

2018-08-10T02:51:57Z (GMT) by David Roberts
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.