Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a site $C$, there are various standard notions for an object $X \in C$ being compact. For instance:

  1. Every covering family $\lbrace U_i \to X \rbrace$ has a finite subfamily that is still covering.

  2. The functor $C(X,-)$ commutes with filtered colimits.

  3. After Yoneda-embedding, the functor $Sh_C(X, -)$ commutes with filtered colimits.

  4. After $\infty$-Yoneda-embedding, the functor $\infty Sh_C(X, -)$ commutes with filtered $\infty$-colimits.

These notions are closely related but subtly different. For instance for $C = Top$ it is well known that the first two are not equivalent without further fine-tuning.

What can one say about the relation of 1. to 3. and 4. ?

It seems to me that one can say for instance: compactness in the first sense implies that $Sh_C(X,-)$ commutes with mono-filtered colimits, and this should generalize to the $\infty$-case in the suitable sense.

What else can one say?

share|improve this question
Some of these general questions are treated in Exposé VI of SGA 4. –  Martin Brandenburg Apr 30 '12 at 8:55
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.