model category

for ∞-groupoids

# Contents

## Definition

In a model category, an object $X$ is said to be fibrant if the unique map $X\to 1$ to the terminal object is a fibration.

Dually, $X$ is said to be cofibrant if the unique map $0\to X$ from the initial object is a cofibration.

Revised on August 20, 2012 15:34:01 by Urs Schreiber (89.204.138.243)