VY
Я читал книгу бартошика
второй год читаю её
категория - это набор объектов, морфизмов и 3 правил
как и вся математика строится на
1) объектах
2) свойствах
3) методах
и новый вид это просто накручивание новых первых трех
Size: a a a
2019 June 19
ЗП
Но я сам не сторонник забить нагло на размеры :)
конформность?)
R:
второй год читаю её
Ага
DS
А есть какой-нибудь чатик в телеге про теории типов и логику?
VY
есть чатик по ТАПЛу, но там как-то тихо
хотя, наверное, это нормально
хотя, наверное, это нормально
DS
Прямо по книге? Оо
KV
И завтиповой
KV
Прямо по книге? Оо
Там не только книга обсуждается, но и сопутствующие темы
Oℕ
Про теорию типов скорее чатик завтипов
DS
Про теорию типов скорее чатик завтипов
Да, вот что-нибудь такое.
Oℕ
Презираемый Евгением
DS
ТК vs ТТ? )
ЕО
Презираемый Евгением
Я его не презираю этот чат, меня там затравили за то, что я верю в классическую математику :) Так-то хороший чат
Oℕ
Скучаем там без тебя, возвращайся, просто игнорируй Пашу, если хочешь
NI
Я его не презираю этот чат, меня там затравили за то, что я верю в классическую математику :) Так-то хороший чат
Ну вот. А Паша, в свою очередь, не хочет идти сюда, в этот чат ;-)
ЕО
Скучаем там без тебя, возвращайся, просто игнорируй Пашу, если хочешь
Я так не умею. Мне нервы дороже :)
Oℕ
Как же тяжело быть троцкистом
AT
нужен чат “Завтипы с Омельченко”
ЕО
Я бы, может, вернулся, если что-нибудь полезное делал