%0 Journal Article %A Roberts, David %D 2018 %T The elementary construction of formal anafunctors %U https://adelaide.figshare.com/articles/journal_contribution/The_elementary_construction_of_formal_anafunctors/6953318 %R 10.25909/5b6cfd1a73e55 %2 https://adelaide.figshare.com/ndownloader/files/12750905 %K anafunctors %K 2-categories %K localization %K formal category theory %K Category Theory, K Theory, Homological Algebra %X 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. %I The University of Adelaide