PSA: a category satisfying all but the smallness condition from Giraud’s theorem…

I'm surprised people in the area of condensed mathematics haven't adopted this term that's at least 50 years old