Monoidal closed structure(s) on the category “bicategories, with strict functors”?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I'm working with globular operadic higher categories (with the Batanin/Leinster definitions) and ending up working a lot in the categories $P$-$\mathrm{Alg}$ of algebras for some globular operad $P$, together with (literal, strict, algebraic) morphisms between them. A familiar case of these is $\textrm{Bicat}_\textit{str}$: the category of bicategories and strict functors between them.

It would be very handy if there were some kind of mapping space constructions in these categories --- that is, some reasonable monoidal closed structures on them. Does anyone know what's been shown, either to exist or not to, either in the general case, or (more likely) for $\textrm{Bicat}_\textit{str}$?

(The most obvious specific candidate, of course, is Cartesian closure. However, even $\textrm{Bicat}_\textit{str}$ fails to be Cartesian closed: chasing through the Yoneda argument that shows what a Cartesian closure would have to look like if it did exist leads one to a counterexample showing that the product doesn't preserve pushouts. The next best hope would presumably be some sort of Gray tensor product; this is where I've not yet been able to find anything further on the closure question.)

-

1 Answer

You may know this, but there are people thinking about this sort of question at least from the monoidal viewpoint. For instance, there is this paper, which shows that if you can defined what you want to mean by "a category enriched in P-Alg," then you can automatically recover from that a corresponding monoidal structure on P-Alg. In particular, this can produce the Gray tensor product from the notion of Gray-category. Although in general what you get is only a lax monoidal structure, and I don't think they have (yet) asked when it will be closed.

-

Thanks &mdash; yes, I have looked at that (though not in detail), but as you say it doesn't (iirc) start looking into the question of closure; and unfortunately, the mapping spaces are what I really want... – Peter LeFanu Lumsdaine Apr 29 2010 at 17:31
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9622021913528442, "perplexity_flag": "middle"}