A characterisation of elementary fibrations☆
Under a Creative Commons license
open access
MSC
03G30
18C40
18C50
18D30
18D40
18N45
Keywords
Elementary fibration
Equality predicate
Weak factorisation system
Identity type
Cited by (0)
- ☆
Jacopo Emmenegger's work was partially funded by EPSRC grant EP/T000252/1. Giuseppe Rosolini's work was partially supported by INdAM-GNSAGA.
- 1
Current address: DIMA, Università degli Studi di Genova, via Dodecaneso 35, 16146 Genova, Italy.
© 2022 The Authors. Published by Elsevier B.V.