Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
pnips's user avatar
  • 171