Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел - вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)

http://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem
if there is an epimorphism from some object A to the exponential object/internal hom from A into some other object B
A⟶B^A
then every endomorphism f:B→B of B has a fixed point.

А я его ( Read more... )

( Влад напомнил. Но это надо всем знать! ;-) )

Уже сколько лет, как мучаюсь с подыскиванием русского слова каждый раз, когда про это заходит разговор, и в итоге, пишу «globular ( Read more... )

http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/
http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html

via clayrat
http://www.proofwiki.org/wiki/Main_Page

Ко мне поступила просьба ( Read more... )

Вот кто-нибудь, подскажет мне, почему чуть не все детские фильмы, включая сказки, имеют таакие сценарии ( Read more... )

.