nLab cartesian closed (infinity,1)-category

Contents

Context

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

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

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.