The Calgary Peripatetic Seminar
University of Calgary's seminar on logic, mathematics, and computer science
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”.
Powered by UCalgary
The views, information, or opinions expressed on this site are solely those of the individual(s) involved and do not necessarily represent the position of the University of Calgary as an institution.
Digital Privacy Statement | Privacy Policy | Copyright © 2019