Title: The dual fibration, part one: total case
In this talk I’ll review and discuss the dual fibration, which builds a new fibration out of an existing one by taking the opposite category of each fibre. We’ll look at an elementary construction of this fibration due to Kock, and consider how the dual fibration plays a role in understanding reverse derivatives and lenses.
In part two, I’ll consider new work (joint with Robin Cockett, Jonathan Gallagher, and Dorette Pronk) on how to generalize these ideas to restriction categories.
