Books [Pierre-Louis Curien] Category Theory: A Programming Language Oriented Introduction

tttx

Помощник Администратора
Команда форума
Регистрация
27 Авг 2018
Сообщения
37,817
Реакции
546,581
ClWQsLJdQeKEgJK-WQBEfg.png

DESCRIPTION:

This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.

INFORMATION PAGE:

DOWNLOAD:
 

Обратите внимание

Назад
Сверху