A logical study of some 2-categorical aspects of topos theory. - Sina Hazratpour (2019)

A 2-categorical proof of Frobenius for fibrations defined from a generic point. - Sina Hazratpour; Emily Riehl (Math. Struct. Comput. Sci., 2024)