"Homotopy Manifolds and Tangent Bundles in HoTT", talk by David J. Myers at CQTS @ NYU Abu Dhabi

Описание к видео "Homotopy Manifolds and Tangent Bundles in HoTT", talk by David J. Myers at CQTS @ NYU Abu Dhabi

for details see: https://ncatlab.org/nlab/show/Center+...

Комментарии

Информация по комментариям в разработке