Giraud's theorem for Segal topoi
Giraud's theorem for Segal topoi. AAA is a U\mathbb{U}U-Segal topos if and only if:
MathDB