objects such that commutes with certain colimits
C(c,-) : C \to \infty Grpd
preserves -filtered (∞,1)-colimits.
For -compact we just say compact.
This appears as (HTT, def. 188.8.131.52).
Let be a regular cardinal.
This is (HTT, cor. 184.108.40.206).
If the (∞,1)-category is a locally presentable (∞,1)-category, then it is the simplicial localization of a combinatorial model category , and one may ask how the 1-categorical notion of compact object in relates to the -categorical notion of compact in .
Since compactness is defined in terms of colimits, the question is closely related to the question which 1-categorical -filtered colimits in are already homotopy colimits (without having to derive them first).
compact object in an -category
The general definition appears as definition 220.127.116.11 in
Compactness in presenting model categories of simplicial sheaves is discussed for instance in
section 4 of