V
can someone explain what homotopy type theory is/the problems the field is interested in/its goals and how this relates to category theory and type theory?
На такого рода вопросы нужно целую простыню катать.
Size: a a a
2019 October 22
Oℕ
На такого рода вопросы нужно целую простыню катать.
ну ты же умеешь
V
ну ты же умеешь
Может сам попробуешь)
Oℕ
нет, я обычно пишу простыни, чтобы пришли комоноиды христофоровичи исаевы и поправили меня
ЗП
послушал бы ответ @valery_isaev в https://t.me/appliedcategorytheory
Только сейчас заметил, что у Гротендика демонические рога)
O
хотт-тюториалы будут монадными тюториалами 20х
👍
2019 October 24
Oℕ
2019 October 26
МБ
Подскажите, пожалуйста. Как на русский переводится lluf-подкатегория?
YS
яанлоп?
Oℕ
Подскажите, пожалуйста. Как на русский переводится lluf-подкатегория?
МБ
MM
What mathematics subject should I read before I learn category theory?
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
ТИ
What mathematics subject should I read before I learn category theory?
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
Set theory, groups, algebra
MM
Set theory, groups, algebra
Thank you.
MM
Set theory, groups, algebra
I have read mr. Bartosz book, and currently watch the video.
I guess I'd better learn the basic first.
I guess I'd better learn the basic first.
MM
So tired, but I cannot stop watching this interesting lecture from mr Bartosz.
k
which flavour of set theory?
2019 October 28
OP
What mathematics subject should I read before I learn category theory?
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
If you want to learn some basic math in an accessible way I would also recommend this course https://www.youtube.com/playlist?list=PLB7540DEDD482705B
OP
What mathematics subject should I read before I learn category theory?
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
NI
What mathematics subject should I read before I learn category theory?
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I'm a mechanical engineer, with passion with coding. Found Haskell about two years ago. Other than that, I do not have any math background. In short, a nubie..
Any enlightenment is appreciated 🙏🏽.
I don't really think that "set theory, group theory, algebra" is absolutely necessary.
You may try with, for example, Battosz book — may be it's not ideal, but it's certainly not bad.
Math will provide you many interesting examples and it would be simplier to study categories.
But it's not strictly necessary.
You may try with, for example, Battosz book — may be it's not ideal, but it's certainly not bad.
Math will provide you many interesting examples and it would be simplier to study categories.
But it's not strictly necessary.