Телеграмм чат группы ru_catheory страница 18

01:30пожаловаться #1

там не просто mu

01:30пожаловаться #2

там muT

01:30пожаловаться #3

https://i.gyazo.com/db6bbfda6603e0e49fac5586d3bdc0db.png

01:31пожаловаться #4

и вот что это - индекс, аргумент, композиция (этот лучше всего подходит, а потом mu делает Compose (Compose T T) (Compose T T) -> Compose T T)

01:31пожаловаться #5

индекс

01:31пожаловаться #6

преобразование между композициями функторов

01:32пожаловаться #7

окей, спасибо
нотация какая-то не очень читаемая и везде разная

01:32пожаловаться #8

https://i.gyazo.com/3a3a5b819cabad3bf00a53eb70a12530.png

01:35пожаловаться #9

самая лучшая нотация :)

01:36пожаловаться #10

возможно, нужно только понять как ее читать

Зигохистоморфный Препроморфизм in Теория категорий

01:37пожаловаться #11

ЗП

снизу вверх)

01:37пожаловаться #12

ну типа пространство - категория, шнурок - функтор, звезда - ест.преобр.

01:38пожаловаться #13

не понятно, что за буквы C
они как-то вообще ни к чему не привязаны и просто в воздухе болтаются

01:38пожаловаться #14

а, это пространство

01:38пожаловаться #15

String diagrams, adjunctions and monads - YouTube

посмотрите https://www.youtube.com/playlist?list=PL50ABC4792BD0A086

YouTube

String diagrams for functors and natural transformations are introduced, then we show how adjunctions and monads have a very simple and natural description i...

01:40пожаловаться #16

там за 40 минут можно осилить

01:40пожаловаться #17

или даже быстрее на ускорении

01:40пожаловаться #18

да, я уже смотрю, только сначала на том же канале про монады

01:41пожаловаться #19

а зачем тут I по краям?