Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
An (∞,1)-category with (∞,1)-products $\times$ which is a closed monoidal (∞,1)-category with respect to $\otimes := \times$ is called a cartesian closed $(\infty,1)$-category.
Every (∞,1)-topos is a cartesian closed $(\infty,1)$-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.