# nLab compact object in an (infinity,1)-category

### Context

#### $\left(\infty ,1\right)$-Category theory

(∞,1)-category theory

## Models

#### Compact objects

objects $d\in C$ such that $C\left(d,-\right)$ commutes with certain colimits

# Contents

## Idea

The notion of compact object in an $\left(\infty ,1\right)$-category is the analogue in (∞,1)-category theory of the notion of compact object in category theory.

## Definition

###### Definition

Let $\kappa$ be a regular cardinal and $C$ an (∞,1)-category with $\kappa$-filtered (∞,1)-colimits.

Then an object $c\in C$ is called $\kappa$-compact if the (∞,1)-categorical hom space functor

$C\left(c,-\right):C\to \infty \mathrm{Grpd}$C(c,-) : C \to \infty Grpd

preserves $\kappa$-filtered (∞,1)-colimits.

For $\omega$-compact we just say compact.

This appears as (HTT, def. 5.3.4.5).

## Properties

### General

Let $\kappa$ be a regular cardinal.

###### Proposition

Let $C$ be an (∞,1)-category which admits small $\kappa$-filtered (∞,1)-colimits. Then the full sub-(∞,1)-category of $\kappa$-compact objects in closed under $\kappa$-small (∞,1)-colimits in $C$.

This is (HTT, cor. 5.3.4.15).

### Presentation in model categories

If the (∞,1)-category $𝒞$ is a locally presentable (∞,1)-category, then it is the simplicial localization of a combinatorial model category $C$, and one may ask how the 1-categorical notion of compact object in $C$ relates to the $\left(\infty ,1\right)$-categorical notion of compact in $𝒞$.

Since compactness is defined in terms of colimits, the question is closely related to the question which 1-categorical $\kappa$-filtered colimits in $C$ are already homotopy colimits (without having to derive them first).

General statements seem not to be in the literature yet, but see this MO discussion. For discussion of compactness in a model structure on simplicial sheaves, see for instance (Powell, section 4).

## Examples

• In $C=$ (∞,1)Cat the $\kappa$-compact objects are precisely the $\kappa$-essentially small (∞,1)-categories. (See there for more details.)

• In $C=$ ∞Grpd the $\kappa$-compact objects are precisely the $\kappa$-essentially small ∞-groupoids.

## References

The general definition appears as definition 5.3.4.5 in

Compactness in presenting model categories of simplicial sheaves is discussed for instance in

section 4 of

• Geoffrey Powell, The adjunction between $ℋ\left(k\right)$ and ${\mathrm{DM}}_{-}^{\mathrm{eff}}\left(k\right)$ (2001) (pdf)

Revised on April 26, 2012 19:46:41 by Urs Schreiber (82.113.119.43)