anafunctors2.pdf (382.71 kB)

The elementary construction of formal anafunctors

Download (382.71 kB)
journal contribution
posted on 10.08.2018 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.

Funding

DP180100383

History

Licence

Exports

Logo branding

Licence

Exports