[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Speaker: Robin Cockett
Title: Latent fibrations: some theory, some examples
Time and Location: Friday, 1:00PM in MS427

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".

-Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200206/14faaa45/attachment.html>