#
nLab
cartesian closed (infinity,1)-category

Contents
### Context

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

**(∞,1)-category theory**

**Background**

**Basic concepts**

**Universal constructions**

**Local presentation**

**Theorems**

**Extra stuff, structure, properties**

**Models**

#### Monoidal categories

**monoidal categories**

## With symmetry

## 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 $(\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.