@antoinechambertloir@mathstodon.xyz
Post #1684312
2026-04-22 06:23 UTC
@highergeometer what's in this paper? (What's an anafunctor?)
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-04-22 07:06
@antoinechambertloir It's foundational category theory stuff, and you can see a sample of the difference between Makkai's definition at https://en.wikipedia.org/wiki/Anafunctor#Set-theoretic_definition and the definition in the previous definition (a span of functors where the backwards one is ff and surjective on objects - sadly the notation on that page is inconsistent, with |F| standing for both a class/set and a category). Paper: https://doi.org/10.1016/0022-4049(95)00029-1