Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
An (∞,1)-category with (∞,1)-products which is a closed monoidal (∞,1)-category with respect to is called a cartesian closed -category.
Every (∞,1)-topos is a cartesian closed -category. See the section Closed monoidal structure.
Last revised on December 16, 2011 at 01:14:35. See the history of this page for a list of all contributions to it.