![]() |
![]() |
Geometric constructions preserving fibrationsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Neel Krishnaswami. Let π be a representable 2-category, and πβ’ a 2-endofunctor of the arrow 2-category πβ such that (i) cod πβ’ = cod: πβ β π and (ii) πβ’ preserves proneness (cartesianness) of morphisms in πβ. Then πβ’ preserves fibrations and opfibrations in π. The proof takes Street’s characterization of (e.g.) opfibrations as pseudoalgebras for 2-monads πB on slice categories π/B and develops it by defining a 2-monad πβ’ on πβ that takes change of base into account, and uses known results on the lifting of 2-functors to pseudoalgebras. This talk is part of the Lab Lunch series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsSchool of Chemistry Seminars Seminars on Advanced Materials SoCS PhD Research Training SessionsOther talksTBA TBC TBA Hunt for an Earth-twin Quantum Sensing in Space The tragic destiny of Mileva MariΔ Einstein |