nLab
higher category theory - contents

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Edit this sidebar

Revised on June 3, 2011 16:52:13 by Urs Schreiber (89.204.153.89)