# nLab cartesian closed (infinity,1)-category

Contents

### Context

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

(∞,1)-category theory

## Models

#### Monoidal categories

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 $(\infty,1)$-category.

## Examples

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.