论文标题
FROBENIUS的两类证明，用于从通用点定义的纤维化
A 2-categorical proof of Frobenius for fibrations defined from a generic point
论文作者
论文摘要
考虑一个当地的笛卡尔封闭类别，该类别具有对象I和一类琐碎的纤维，该类别允许部分允许，并且在pushforward和rectact中作为箭头稳定。将纤维定义为那些与I的leibniz指数相关的地图，它定义了一个微不足道的振动。然后，纤维在推动下也关闭。
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 as arrows. 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.
