TY - RPRT TI - A 2-categorical proof of Frobenius for fibrations defined from a generic point AU - Sina Hazratpour AU - Emily Riehl PY - 2024 DO - 10.1017/s0960129524000094 UR - https://arxiv.org/abs/2210.00078 ID - 2210.00078 ER -