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

насчет чего

02:00пожаловаться #1

ЗП

Зигохистоморфный Препроморфизм

1) это тензорное произведение функторов (Compose)
2) это I -> T
вот вам и моноид в категории эндофункторов

02:00пожаловаться #2

https://graphicallinearalgebra.net/2017/04/16/a-monoid-is-a-category-a-category-is-a-monad-a-monad-is-a-monoid/

Graphical Linear Algebra

…, a monoid is a category, a category is a monad, a monad is a monoid, …

In the last few months I taught three graduate mini-courses about string diagrams and graphical linear algebra – at Phd Open in Warsaw, a winter school in Estonia, and a graduate school in Le…

02:05пожаловаться #3

для полноты картины :)

02:05пожаловаться #4

ЗП

для полноты картины :)

как я и думал)

02:07пожаловаться #5

ЗП

для полноты картины :)

по аналогии у аппликатива это свертка Дея
а у стрелки что?

02:08пожаловаться #6

композиция, но категория профункторов

02:09пожаловаться #7

ЗП

композиция, но категория профункторов

ааа ProCompose

02:09пожаловаться #8

ЗП

композиция, но категория профункторов

тот что https://www.stackage.org/haddock/lts-10.6/profunctors-5.2.2/Data-Profunctor-Composition.html#t:Procompose

02:10пожаловаться #9

http://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids.pdf

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

точнее это слабые стрелки, для тру-стрелок еще нужна силушка

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

ЗП

точнее это слабые стрелки, для тру-стрелок еще нужна силушка

свободная категория?

02:11пожаловаться #12

p a b -> p (a, c) (b, c)

02:12пожаловаться #13

ЗП

где p - категория

02:13пожаловаться #14

профунктор

02:13пожаловаться #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...

сначала он показывает функторы как точки, а потом нат преобразования как точки

02:51пожаловаться #16

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...

02:51пожаловаться #17

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...

02:51пожаловаться #18

а, я кажется понял, это как извернутые коммутативные диаграммы
что-то вроде дуальности

02:58пожаловаться #19

называется дуальность Пуанкаре ага