model category

for ∞-groupoids

# Contents

## Idea

A cartesian closed model category is a cartesian closed category that is equipped with the structure of a monoidal model category in a compatible way.

Revised on December 16, 2011 01:13:51 by Urs Schreiber (82.169.65.155)