A 2categorical proof of Frobenius for fibrations defined from a generic point
Abstract
Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract. Define the fibrations to be those maps whose Leibniz exponential with the generic point of I defines a trivial fibration. Then the fibrations are also closed under pushforward.
 Publication:

arXiv eprints
 Pub Date:
 September 2022
 DOI:
 10.48550/arXiv.2210.00078
 arXiv:
 arXiv:2210.00078
 Bibcode:
 2022arXiv221000078H
 Keywords:

 Mathematics  Category Theory;
 Mathematics  Algebraic Topology;
 Mathematics  Logic;
 18N45;
 18N40;
 03B38;
 55U35
 EPrint:
 15 pages