@misc{indiciae30525609e96b, title = {A 2-categorical proof of Frobenius for fibrations defined from a generic point}, author = {Sina Hazratpour and Emily Riehl}, year = {2024}, doi = {10.1017/s0960129524000094}, url = {https://arxiv.org/abs/2210.00078}, note = {Source identifier: 2210.00078} }