Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added to the Idea-section (here) a sentence pointing to doubly closed monoidal category.
added (here) mentioning of the example of tangent -toposes.
It ought to be true that every -topos arising from parameterized objects in an -monoidal Joyal locus carries the corresponding external -tensor product — but now that I say this I realize that this needs a formal argument which might be easy but I haven’t fully thought about.
Also am I correct that the slice over a monoid object in a topos is always monoidal closed? Seems to follow by the AFT because the tensor product should preserve colimits in each argument because colimits are computed in the original category and the cartesian product preserves colimits in each argument.
If so I’ll add that to the page too.
Yes, that’s true, and one can give an easy construction of the internal hom; see this MO answer.
I must be missing something, the construction in that answer is an object of not
The internal hom constructed in that answer is in fact an object of . Recall that the phrase “the pullback of a map along a map ” refers to the projection map .
Ah of course.
It occurs to me that this monoidal structure is actually the same as the monoidal structure on a glued category in Section 4 of Hyland and Schalk by representing the monoid object in the topos as a lax monoidal functor where is trivially monoidal closed.
I have hyperlinked that to doubly closed monoidal category.
1 to 11 of 11