All Questions
1
question
17
votes
4
answers
1k
views
What is the monoidal equivalent of a locally cartesian closed category?
If a closed monoidal category is the monoidal equivalent of a Cartesian closed category, is there an analogous equivalent for locally cartesian closed categories? Is there a standard terminology or ...
- 171