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