Expresses logical systems through categories, functors, adjunctions, fibrations, and topoi. The chapter connects syntax and semantics at a structural level and relates categorical logic to type theory and geometry.
