Researchers are exploring connections between dependent types (especially the identity type) and algebraic topology (specifically homotopy).
Дослідники вивчають зв'язки між залежними типами (особливо типом ідентичності) та алгебричною топологією (зокрема гомотопією).