7
$\begingroup$

In ordinary category theory it is a well-known and important fact that the $\hom$ bifunctor into $\text{Set}$ preserves limits.

I am unable to find a reference for the corresponding fact in infinity category theory nor am I able to write down a proof myself.

I am looking for a statement of the following form:

Let $\mathcal{C}, \mathcal{D}$ be $(\infty, 1)$-categories (considered as a weak Kan complex preferably) and let $F: \mathcal{D} \to \mathcal{C}$ be a diagram. Then, for any object $X \in \mathcal{C}$, we have a natural equivalence between $\lim \hom(X, F(D))$ and $\hom (X, \lim F(D))$ where each $\hom$ is considered as a weak Kan complex.

I would presume that HTT would have a statement to this effect, but I am unable to find one.

Improve this question
$\endgroup$
2
  • $\begingroup$ I thought this was the definition of "limit". $\endgroup$
    – Theo Johnson-Freyd
    Commented Jan 8, 2020 at 1:01
  • 2
    $\begingroup$ @TheoJohnson-Freyd Limits can be defined as terminal cones, in which case something has to be proved about the relationship between $\infty$-categories of cones and the mapping space functor. They can be defined as certain Kan liftings, in which case the connection to hom is still less obvious. I am not sure whether anyone writing foundational material literally defines a limit cone as one sent to a limit in spaces under hom. This would depend on giving an explicit definition of limits in spaces, which is not so easy as in sets. $\endgroup$
    – Kevin Carlson
    Commented Jan 8, 2020 at 1:10

2 Answers 2

Reset to default
10
$\begingroup$

This is Cisinski, Corollary 6.3.5. The proof is essentially to show that cocontinuous functors out of presheaf $\infty$-categories admit right adjoints given by the usual formula, so that $Hom_C$ has a left adjoint if $C$ is cocomplete, and then to use the Yoneda embedding for a general $C$.

Improve this answer
$\endgroup$
11
$\begingroup$

This is explained in the opening paragraph of HTT.5.5.2; it’s a combination of the fact that both the Yoneda embedding and evaluation in functor categories preserve limits.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .