Total Opposite
Backlinks
Coopcartesian Morphism
Fibrewise Opposite of a Cartesian Fibration
Cocartesian Morphism