Results 1 -
2 of
2
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem
, 2002
"... 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 g ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
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 Birkho results in a fibred setting.
