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.
1 to 6 of 6
I have a terminology question: suppose I have a cartesian closed category and a functor . What do I call it when the induced set morphisms lift to morphisms between the internal homs?
In my particular case there is only one choice for the lift, if that makes any difference (my expectation is that this means that any necessary coherences are trivially satisfied).
I looked at that and it seemed stronger than what I wanted. That has to preserve products and the morphism I’m talking about should be an isomorphism. It seemed more of an internal thing. I’ve now found the internal definition at functor which may be what I want (once I’ve unravelled all the definitions).
Andrew, the structure you need to lift to internal homs is called a strength (and functors equipped with strengths are called “strong”). You can also call such functors simply “-enriched”.
Boy, that article tensorial strength could use some work.
Right, so the general principle that I can take from this is that if I’m dealing with a cartesian closed category and there’s some concept for closed monoidal categories then I can apply it, using the cartesian product as the monoidal product. I’m so used to thinking of “monoidal” as “tensor product” (probably for symbolic reasons) that I forget that the cartesian product is a monoidal product.
1 to 6 of 6