Lý thuyết hình thái đồng luân
From Wikipedia, the free encyclopedia
Bản mẫu:Chuyên ngành
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Hott_book_cover.png/220px-Hott_book_cover.png)
Trong logic toán và khoa học máy tính, lý thuyết hình thái đồng luân (tiếng Anh: homotopy type theory, HoTT /hɒt/) đề cập đến các dòng phát triển khác nhau của lý thuyết hình thái trực giác, dựa trên việc diễn giải các hình thái như là các đối tượng mà lý thuyết đồng luân trừu tượng có thể áp dụng được.