The dual fibration, part two: partial case

Last week we reviewed how to construct the dual fibration to a given fibration, and saw that this construction gives some interesting examples. In this second part we’ll see how to work with this idea in the setting of restriction categories. We’ll begin by defining and working with latent fibrations (a version of the fibration notion for restriction categories), then show that certain kinds of latent fibrations have a dual.

This is joint work with Robin Cockett, Jonathan Gallagher, and Dorette Pronk.