The University of Adelaide
Browse
anafunctors2.pdf (382.71 kB)
Download file

The elementary construction of formal anafunctors

Download (382.71 kB)
journal contribution
posted on 2018-08-10, 02:51 authored by David RobertsDavid 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