A short proof of the Frobenius property for generic fibrations
arXiv:2402.04227 · doi:10.1017/S0960129525000106
Abstract
We give a simple diagrammatic proof of the Frobenius property for generic fibrations, that does not depend on any additional structure on the interval object such as connections.
9 pages, 1 figure. Minor updates based on feedback