We define enriched categories, enriched functors and describe changes of base. We use preorders, Lawvere metric spaces and higher dimensional categories as examples.
Смотрите видео Enriched Category Theory For Beginners онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 04 Сентябрь 2022, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 4,086 раз и оно понравилось 132 людям.