A category satisfying all but the smallness condition from Giraud's theorem | Dark Hacker News