Fun example: empty colimit does not commute with empty limit
29 июл. 2026 г.ЗаметкиBogdan Zavyalov
Why the definition of a filtered category insists on non-emptiness: the empty colimit fails to commute with the empty limit, and that is the only failure.
0
310