## Indexed category: functor C -> Cat.

## Fibration: functor E -> B such that arrows of B lift universally to E.

## Op: choose an arrow of the base and an object over the domain of the arrow.

## Split: lift of composite is composite of lifts.

Previous slide | Next slide | Back to first slide | View graphic version |