AG
Size: a a a
2020 August 12
ᛒ
Было забавно как джейгмсу геби в чате писали - харош эго тешить
ᛒ
Он там распизделся про детей чет
AG
в слаке или на созвоне?
S
Выглядят бодрее
ᛒ
В четверг чтоле
ᛒ
До начала типо
AG
но я точно не могу их придумать, я узнал словосочетание 50 минут назад
оно по моему пл-теоретиками в основном используется
AG
раз уже кстати зашла речь про габбая, то □ в контекстуальной модалке является релятивной комонадой, см:
http://gabbay.org.uk/papers/dencmt.pdf Gabbay, Nanevski, "Denotation of contextual modal type theory (CMTT): syntax and metaprogramming"
http://gabbay.org.uk/papers/dencmt.pdf Gabbay, Nanevski, "Denotation of contextual modal type theory (CMTT): syntax and metaprogramming"
AG
ну вот собсна альтенкирх сотоварищи пишут мотивацию:
AG
Some examples of relative monads include untyped and typed λ-terms, finite-dimensional vector spaces, and Hughes’s arrows.
KS
И правда, микро-ярик.
R
с включением
Oℕ
Эх, не хочется сглазить, но как будто реннесанс пошёл