s
Или ∐
Size: a a a
2021 November 29
s
Ещё ε и η.
NI
Тогда уж альфа, как ассоциатор в моноидальной категории.
N
Не буква конечно, но
∘
∘
NI
Тогда уж просто стрелочка ;-)
s
Не, сопряжённые функторы более базовое понятие.
NI
Уговорил.
N
Не, со стрелкой как-то нет ассоциации такой
N
Вот в HoTT там проще
≃
≃
KV
Если б ещё к этому значку утюг дорисовать
B
Лямбда-абстракцию, как и понятие функтора (исходное, правда, а не категорное) придумал Карнап, к слову
NI
Знаааю
X
это всё давно уже изобретено в хаскеле
a
Стрелка с тильдой наверху
→̃
→̃
2021 November 30
AM
Всем привет такой абстрактный вопрос :математика была придумана для решения задач в определённых областях или в начале была математика а потом появились области которые работают по ее принципам и там с помощью нее можно получить определённые результаты
s
Да.
K
Математика используется (а матлогика была придумана) как средство абстракции, чтобы свести проблемы из разных областей в одну, а потом полученные решения применять везде. Так что да и да.
AM
то есть обе части верны
NI
Вот только щас дискуссии не хватало о том, что такое "на самом деле" математика ;-)
ЕО
Математика имеет как собственное внутреннее развитие, так и связанное с решением прикладных задач.
Исторически прикладные задачи встали первыми, но обособление математики связано именно с началом самостоятельного её развития.
P.S. Тут не про философию математики
Исторически прикладные задачи встали первыми, но обособление математики связано именно с началом самостоятельного её развития.
P.S. Тут не про философию математики