Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 galois-theory 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory itex 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 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthordanlior2
    • CommentTimeApr 30th 2010

    Hello,

    Let me first preemptively apologize for any protocol violations. This is my first post to nlab and I had some trouble with the math formatting. My question is simple so I don’t think the formatting will be problematic.

    Suppose BB and CC are (small?) categories, H:BCH:B \rightarrow C a functor and DD is a closed, symmetric monoidal category. Then HH induces functors H *:Func(C,D)Func(B,D)H^{*} : Func(C,D) \rightarrow Func(B,D) and (H *) op:Func(C op,D)Func(B op,D)(H^*)^{op} : Func(C^{op},D) \rightarrow Func(B^{op},D) by precomposition. I would like to know sufficient conditions on HH so that:

    F CG(H *) op(F) BH *(G)F \otimes_{C}G \equiv (H^*)^{op}(F) \otimes_{B} H^*(G)

    for each FFunc(C op,D)F \in Func(C^{op},D) and GFunc(C,D)G \in Func(C,D).

    Questions:

    1) Does what I’m saying make sense?

    2) Is what I am asking that H *H^* be a “monoidal functor”?

    3) What are sufficient conditions for HH so that H*H* is a monoidal functor?

    • CommentRowNumber2.
    • CommentAuthordanlior2
    • CommentTimeApr 30th 2010

    I now realize that “monoidal functor” is the wrong word for H*, so ignore question 2. I’m still interested in sufficient conditions on H so that H* preserves tensor products.

    dan

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 30th 2010
    • (edited Apr 30th 2010)

    The question makes sense; I interpret as asking under what conditions the canonical map

    (H op) *(F) BH *(G)F CG(H^{op})^*(F) \otimes_B H^*(G) \to F \otimes_C G

    is an isomorphism.

    It might help to look first at the special case D=SetD = Set, and try to generalize later.

    Look at the case where F,GF, G are representables first. If the canonical map hom(H,c)) Bhom(c,H))hom(c,c)hom(H-, c)) \otimes_B hom(c', H-)) \to hom(c', c) is an isomorphism for all c,cc, c', then the same is true more generally. For surjectivity, it suffices that every morphism f:ccf: c' \to c factors through an object of the form H(b)H(b). For injectivity, it suffices that for any two such factorizations of the same morphism,

    cH(b)c,cH(b)c,c' \to H(b) \to c, \qquad c' \to H(b') \to c,

    there be some g:bbg: b \to b' such that sticking in H(g)H(g) as diagonal filler makes the two triangles commute.

    Not sure what else to say right now. What’s the context for this problem?

    Edit: the diagonal filler condition may be overkill. It would suffice to have a zig-zag of such diagonal fillers

    bb 1b 2bb \to b_1 \leftarrow b_2 \to \ldots \to b'

    which I guess can be restated as a connectivity condition on some comma category.

    • CommentRowNumber4.
    • CommentAuthordanlior2
    • CommentTimeApr 30th 2010

    Todd,

    Thank you very much for your quick response.

    Your interpretation of my problem is exactly right.

    I’ll study your example and try to apply it to my problem.

    As for context; I don’t know if this will help but :

    DD is the category of spaces (or simplicial sets), CC is the category of nontrivial partitions of a fixed n element set, BB is a certain category of labelled trees (which I haven’t yet completely defined), FF is an arbitrary (fixed) functor, GG is the functor : Nerve(C)Nerve(- \downarrow C) and HH is a functor which I also haven’t yet completely defined.

    dan

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeApr 30th 2010

    Here’s (one version of) the abstract argument that reduces it to the case of representables that Todd considered. Tensoring F CGF\otimes_C G is equivalent to tensoring FG:C op×CDF\otimes G : C^{op}\times C \to D with C(,):C op×CSetC(-,-):C^{op}\times C \to Set, and likewise for the other tensor product we have

    (H op) *(F) BH *(G)B(,) B op×B(H op) *FH *G.(H^{op})^*(F) \otimes_B H^*(G)\; \cong\; B(-,-) \otimes_{B^{op}\times B} (H^{op})^* F \otimes H^* G.

    Now by the co-Yoneda lemma, we have H *GH × CGH^* G \cong H_\bullet \,\times_C\, G, and similarly (H op) *FH × CF(H^{op})^* F \cong H^\bullet \,\times_C \, F, where H (c,b)=C(c,Hb)H_\bullet(c,b) = C(c,H b) and H (b,c)=C(Hb,c)H^\bullet(b,c) = C(H b,c). Thus we get

    (H op) *(F) BH *(G)B(,) B op×B(H ×H ) C op×C(FG).(H^{op})^*(F) \otimes_B H^*(G)\; \cong\; B(-,-) \otimes_{B^{op}\times B} (H^\bullet \times H_\bullet) \otimes_{C^{op}\times C} (F\otimes G).

    so clearly a sufficient condition would be

    C(,)B(,) B op×B(H ×H ). C(-,-) \;\cong\; B(-,-) \otimes_{B^{op}\times B} (H^\bullet \times H_\bullet).

    But by the co-Yoneda lemma again, this is equivalent to

    C(,)H BH C(-,-) \;\cong\; H^\bullet \otimes_B H_\bullet

    which is essentially where Todd started from. Note that this also implies that the result holds for arbitrary DD.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 30th 2010

    Thanks, Mike – that was exactly the reduction I had in mind.

    It sounds (Dan) like your HH is concrete enough so that the sufficient conditions I stipulated could be checked by hand.

    • CommentRowNumber7.
    • CommentAuthordanlior2
    • CommentTimeMay 1st 2010

    Thanks again to both of you. I appreciate it.

    dan