Robin Cockett

Date: February 14, 2020
Time: 12:00 am - 12:00 am

Title: Latent fibrations: some theory, some examples

Abstract: Latent fibrations are to restriction categories what fibrations are to ordinary categories.
I shall introduce their basic theory and explore some basic examples including the “standard” latent fibration and the latent fibration of “propositions”.