Ho TT 7: Унивалентность

Views: 2

На этой лекции мы рассмотрим понятие эквивалентности, введем аксиому унивалентности и начнем конструирование эквивалентности между группами и связными 1типами с отмеченной точкой.