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

thehighergeometer.wordpress.com