-
Definition 2. Awodey,
Gambino &
Sojakova 2012, p. 8. Abbott,
Altenkirch &
Ghani 2005, p. 10. Awodey,
Gambino &
Sojakova 2015. Abbott, Michael; Altenkirch...
- 329–335. doi:10.1016/s0304-3975(96)00145-4. Awodey, Steve; Gambino, Nicola;
Sojakova,
Kristina (2012-01-18). "Inductive
types in
homotopy type theory". arXiv:1201...
- new
foundation for mathematics". R&D Magazine.
Retrieved 29 July 2021.
Sojakova,
Kristina (2015).
Higher Inductive Types as Homotopy-Initial Algebras....
