Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthoradeelkh
   • CommentTimeMay 2nd 2014
   • (edited May 3rd 2014)
   • PermaLink
   Author: adeelkh
   Format: MarkdownItexLet C be a category admitting colimits and limits. It is well known that the category of simplicial objects sC in a category C has an action by sSet: for $X \in sC$, $K \in sSet$, $X \otimes K$ is the simplicial object whose nth component is the coproduct $\coprod_{K_n} X_n$. One can verify that 1. For a fixed $K$, the functor $- \otimes K : sC \to sC$ admits a right adjoint $(-)^K$. 2. For $X \in C$, $X \otimes -$ preserves colimits and $X \otimes \Delta^0 = X$. 3. For $X \in C$ and $K,L \in sSet$, $A \otimes (K \times L) = (A \otimes K) \otimes L$. These facts imply that with the mapping spaces $Map_C(X, Y)$ defined by $$ Map_C(X,Y)_n = Hom_C(X \otimes \Delta^n, Y), $$ sC becomes an sSet-enriched category. All this is well-documented, for example in the book of Goerss-Jardine. More generally, let S be a small category. Let $PSh(S, C)$ denote the category of presheaves on S with values in C. Define an action of $PSh(S) = PSh(S, Set)$ on $PSh(S, C)$ in the same way as above: $$ (F \otimes K)(X) = \coprod_{K(X)} F(X) $$ Presumably, the above three facts are still true and one can define a $PSh(S)$-valued Hom by $$ \mathbf{Hom}(F, G)(X) = Hom_{PSh(S,C)}(F \otimes h(X), G) $$ where $h(X)$ is the presheaf of sets represented by $X \in S$. I imagine that this makes $PSh(S, C)$ into a $PSh(S)$-enriched category. Are these things written down somewhere (maybe on the nLab)? The arguments written in Goerss-Jardine probably work without modification, but I am wondering if there is a simpler description of the exponential objects $X^K$ than what they do.

   Let C be a category admitting colimits and limits. It is well known that the category of simplicial objects sC in a category C has an action by sSet: for $X \in sC$, $K \in sSet$, $X \otimes K$ is the simplicial object whose nth component is the coproduct $\coprod_{K_n} X_n$. One can verify that

   1. For a fixed $K$, the functor $- \otimes K : sC \to sC$ admits a right adjoint $(-)^K$.
   2. For $X \in C$, $X \otimes -$ preserves colimits and $X \otimes \Delta^0 = X$.
   3. For $X \in C$ and $K,L \in sSet$, $A \otimes (K \times L) = (A \otimes K) \otimes L$.

   These facts imply that with the mapping spaces $Map_C(X, Y)$ defined by

   $$Map_C(X,Y)_n = Hom_C(X \otimes \Delta^n, Y),$$

   sC becomes an sSet-enriched category. All this is well-documented, for example in the book of Goerss-Jardine.

   More generally, let S be a small category. Let $PSh(S, C)$ denote the category of presheaves on S with values in C. Define an action of $PSh(S) = PSh(S, Set)$ on $PSh(S, C)$ in the same way as above:

   $$(F \otimes K)(X) = \coprod_{K(X)} F(X)$$

   Presumably, the above three facts are still true and one can define a $PSh(S)$-valued Hom by

   $$\mathbf{Hom}(F, G)(X) = Hom_{PSh(S,C)}(F \otimes h(X), G)$$

   where $h(X)$ is the presheaf of sets represented by $X \in S$. I imagine that this makes $PSh(S, C)$ into a $PSh(S)$-enriched category.

   Are these things written down somewhere (maybe on the nLab)? The arguments written in Goerss-Jardine probably work without modification, but I am wondering if there is a simpler description of the exponential objects $X^K$ than what they do.

2. • CommentRowNumber2.
   • CommentAuthorZhen Lin
   • CommentTimeMay 2nd 2014
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexYou don't need colimits or limits. There's a end formula for the hom-spaces: see [here](http://zll22.user.srcf.net/EnrichedFunctorCategory.pdf).

   You don’t need colimits or limits. There’s a end formula for the hom-spaces: see here.

3. • CommentRowNumber3.
   • CommentAuthoradeelkh
   • CommentTimeMay 2nd 2014
   • PermaLink
   Author: adeelkh
   Format: MarkdownItexInteresting, thanks!

   Interesting, thanks!