7 citations · 8 across the 3 of their papers we have counts for
1 paper · 2 filters
Reid Barton
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.