Homotopy Type Theory
representable functor (history)

October 11, 2018

October 8, 2018