nLab
cartesian closed (infinity,1)-category

Context

(,1)(\infty,1)-Category theory

Monoidal categories

Contents

Definition

An (∞,1)-category with (∞,1)-products ×\times which is a closed monoidal (∞,1)-category with respect to :=×\otimes := \times is called a cartesian closed (,1)(\infty,1)-category.

Examples

Every (∞,1)-topos is a cartesian closed (,1)(\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.