Opdisplayed Category
Here's a somewhat odd algebraic structure I cooked up:
An opdisplayed category is an algebraic realization of the composition behaviour of the Fibrewise Opposite of a Cartesian Fibration.
Here's a somewhat odd algebraic structure I cooked up:
An opdisplayed category is an algebraic realization of the composition behaviour of the Fibrewise Opposite of a Cartesian Fibration.