Factorization systems and fibrations
Jesse W. Hughes, Bart Jacobs · Electronic Notes in Theoretical Computer Science · 2003
It is well-known that a factorization system on a category (with sufficient pullbacks) gives rise to a fibration. This paper characterizes the fibrations that arise in such a way, by making precise the logical structure that is given by factorization systems. The underlying motivation is to obtain general Birkhoff results in a fibred setting.