Composition of Displayed Categories

Backlinks

Fibrewise Opposite of a Cartesian Fibration

Dialectica Category

Family Fibration of a Fibration