I have a question about presheaf-enriched categories, like sSet for example that I think is pretty basic, but I don't know how to go about.

So I have a category $C$, like $\Delta^\text{op}$, that is monoidal. I also have a $\mathsf{Set}^C$ enriched category $B$, such as a simplicial set enriched category.

In the underlying category $B_0$ which has homsets $B(x,y)(I)$, I have a pullback square $P$, so $P$ is a pullback diagram in the normal sense. I abuse notation by writing $B_0(x,P)$ for the corresponding pullback diagram in $\mathsf{Set}$. Moreover, for every $n\in \mathsf{Ob}(C)$, I have a pullback diagram $B(x,P)(n)$ in $\mathsf{Set}$.

Is this the definition of a $\mathsf{Set}^C$ enriched pullback? If not what am I missing?


You just have an object $p$ together with morphisms $p\to a \to c$ and $p\to b\to c$ in $B_0$ such that the presheaf $B(x,p)$ is isomorphic to the pullback of $B(x,a)$ and $B(x,b)$ over $B(x,c)$, for every $x$ in $B$.

To understand this better, we can recall that pullbacks in $\mathbf{Set}^C$ are created by evaluation at every point, so the condition in the previous paragraph holds if and only if, for every $n$ in $C$, we have that $B(x,p)_n$ is a pullback of $B(x,a)_n\to B(x,c)_n\leftarrow B(x,b)_n$, which I think is what you were suggesting.

As a side comment, it's not $\Delta^{\mathrm{op}}$ that's monoidal, at least in any natural way, but its category of presheaves. There seems to be a related confusion here in that $B_0(x,y)$ is defined as $\mathbf{Set}^C(I, B(x,y))$. For simplicially enriched categories, this happens to be the same as $B(x,y)([0])$, but that is a coincidence coming from the fact that an initial object in $C$ corepresents the terminal object $I$ of $\mathbf{Set}^C$. Even then, $[0]$ is not quite the same thing as $I$, while if $C$ lacks an initial object, then the expression $B(x,y)(I)$ could be very misleading.

  • $\begingroup$ Thank you for the answer. Do you happen to have a reference for the definition of enriched pullback being used. $\endgroup$ – IHeartInfinity May 8 '18 at 16:31
  • $\begingroup$ In refrence to the above comment, I haven't seen definitions of the form "A pullback in a V-enriched category is [...]" Also, you are right, the monoidal structure on $\Delta^{op}$ is not useful for this purpose. Thank you for pointing that out. $\endgroup$ – IHeartInfinity May 8 '18 at 16:40
  • $\begingroup$ @IHeartInfinity Just look up a reference for enriched limits and colimits. The nLab has various pages that might suffice, and Kelly's book on enriched categories is the standard reference. $\endgroup$ – Kevin Carlson May 8 '18 at 17:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.