Николай Иваныч (nivanych) wrote in category_theory,
Николай Иваныч
nivanych
category_theory

Categories:

Ещё одно введение в категории

[by zeit_raffer]
Якобы для программистов (скорее, для компутерных ученых), но материал очень продвинутый.

Pierre-Louis Curien
Category theory: a programming language-oriented introduction
http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/curien-category-theory.pdf

Нет оглавления, что неудобно, но пролистал.
Довольно много рассказывают про моноидальные диаграммы,
которыми он дальше пользуется для более наглядного изложения темы про (ко)алгебры.
Расширения Кана излагаются идеологически грамотно.
Вроде, всё хорошо и правильно — предварительно, одобряю ;-)
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 1 comment