This paper characterizes the fibrations that arise in such a way, by making precise the logical structure that is given by factorization systems.
We present an interpretation of the basic notions of Birkhoff's variety the- orem in a fibred setting and give a preliminary result (the “fibred quasi-variety.
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem ; Publication year. 2003 ; Author(s). Hughes, J.L. · Jacobs, B.
Jul 29, 2024 · A reflective factorization system on a finitely complete category is stable if and only if its corresponding reflector preserves finite limits.
Sep 25, 2024 · Hughes and Bart Jacobs, Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem, Electr. Notes in Theor. Comp. Sci ...
... citations. Popular works include Lifting accessible model structures, Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem and more.
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 ...
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. ... A note on relations relative to a factorization system. In A. Car- boni ...
Dec 5, 2012 · Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electronic Notes in Theoretical Computer Science 11 ...
Nov 8, 2021 · Factorization systems and fibrations: Toward a fibred birkhoff variety theorem. Electronic Notes in Theoretical Computer Science, 69:156-182 ...