Empty Name
бип боп бип боп ординалы это канонические представители классов изоморфизмов вполне упорядоченных множеств
бип боп бип боп предпучок это контравариантный функтор из категорий открытых множеств в абелевы группы
Empty Name
бип боп бип боп предпучок это контравариантный функтор из категорий открытых множеств в абелевы группы
там еще что то про гротендика должно быть
category-theory-for-programmers.pdf
15.7 MB
мне кажется " _ for programmers" это просто "_ для тупых", а значит для меня
Category theory for programmers by Bartosz Milewski.
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
Category theory for programmers by Bartosz Milewski.
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
Empty Name
«listen to me, i am your trainer, i am your sensei”
tfw взял тренера в зале (буквально его цитата)
Empty Name
tfw взял тренера в зале (буквально его цитата)
интересное у них общение с японцем
The polymorphic lambda calculus λ-2
https://www.youtube.com/watch?v=YgmjcdB694w&list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4&index=8
https://www.youtube.com/watch?v=YgmjcdB694w&list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4&index=8
YouTube
The Extension λ2 (Lambda Two) (3.1)
CONTENT
This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics of (un-)typed λ-calculus including higher-order parametric polymorphism and dependent types. The resources, from which this video…
This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics of (un-)typed λ-calculus including higher-order parametric polymorphism and dependent types. The resources, from which this video…
-Сартр звучит как салат, я бы съел
-мне кажется Сартр звучит как Суртр
-много чести
-мне кажется Сартр звучит как Суртр
-много чести