KV
Ну это хоть вспомнить можно, если напрячь извилину
Size: a a a
2019 December 22
AZ
Тем временем в теории категорий почти к любому понятию есть двойственное)
Котем ковременем ков котеории кокатегорий копочти кок колюбому копонятию коесть кодвойственное
PG
кокатегория = тегория
O
котегорея
O
from co - "dual to", tag and ρέος - "a flow"
МБ
Читайте первую главу, и не страдайте :) Отличное введение в тему с упражнениями, философией, кучей примеров и монадами.
AZ
жесть, еще и физика сюда же
AZ
когда упрс окончательно почитать надо будет
AG
надо наверное с линейной алгебры начинать
AG
как с чего то непрограммистского
AZ
смотря что под ней понмать. В каком-то виде она в универе у всех была
AG
ну я имею в виду категорный ее извод
AG
неплохо бы наверное если бы был учебник, дающий теоркат как обобщение типов и линейки
AG
как самых близких сердцу программиста тем
AS
Не уверен, что соотвествует пожеланию, но есть вот такая книга: https://github.com/hmemcpy/milewski-ctfp-pdf
AZ
да, она немношко известна)
AS
есть такое :)
DM
про линейку есть у австралийского поляка
DM
но весьма лайтово