Тёмный

Bryce Clarke: "Constructing lenses in double categories" 

Topos Institute
Подписаться 12 тыс.
Просмотров 479
50% 1

Опубликовано:

 

4 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 2   
@amGBk
@amGBk 2 года назад
Delta lenses are Co-algebras for Co-monads on the Double category of Co-functors!
@fbkintanar
@fbkintanar 2 года назад
Nice. Quite a general framework, but the presentation doesn't descend into abstract nonsense, it feels more grounded.
Далее
27 Unhelpful Facts About Category Theory
9:26
Просмотров 421 тыс.
Bartosz Milewski: "Parametric Profunctor Preoptics"
53:30
Mindscape AMA, Sean Carroll | November 2021
3:55:00
Просмотров 456 тыс.
Categories 1 Introduction
24:56
Просмотров 55 тыс.