Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem (2003)

by J Hughes, B Jacobs
Venue:Proceedings of Category Theory and Computer Science 2002 (CTCS 2002). Electronic Notes in Theoretical Computer Science Vol.69