cartesian closed (infinity,1)-category
With duals for objects
With duals for morphisms
Special sorts of products
In higher category theory
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.
Revised on December 16, 2011 01:14:35
by Urs Schreiber