A category satisfying all but the smallness condition from Giraud's theorem · HackerTrans