▲ 1 A category satisfying all but the smallness condition from Giraud's theorem (thehighergeometer.wordpress.com) by serhack_ | Feb 20, 2026 | 0 comments on HN Visit Link