AG
а в 9 встал чтобы расказать телеврачу про то что ребенок кашляет
Size: a a a
2021 April 16
R
и что телеврач
AG
сказал что это норма
AG
на днях читал про промоноидальные предпорядки
AG
короче depleted она же (0,1)-category theory это тупо теория порядков
AG
типа бесплатные теоремы для логики
AG
брать coend залупу и специализировать для предпорядков
R
а налоги кто платить будет
AG
сандерс маклейн
AG
как шутил в свое время иваныч, "у какого молодца ни конца, ни коконца?"
AG
надо бы еще понять что такое Π^2_1 теория доказательств
AG
как нетрудно догадаться, её сочинил Жирар
w
достаточно будет посмотреть предложения других на тот уровень, что требует Яндекс
AG
она между прочим основана на РАСШИРИТЕЛЯХ
AG
in the sequel, we shall construct many isomorphisms of categories (for instance between DIL and SHD, BIL and ΩDIL)