Factorization systems and fibration: toward a fibred Birkhoff variety theorem (0)

by J Hughes, Bart Jacobs
Venue:Electronic Notes in Theoretical Computer Science