|
|
libcats.org
A supplement for Category theory for computing scienceMichael Barr, Charles WellsThe fundamental concepts of category theory are explained in this text which allows the reader to develop their understanding gradually. With over 300 exercises, students are encouraged to monitor their progression. A wide coverage of topics in category theory and computer science is developed including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. The presentation is informal with proofs included only when they are instructive, providing a broad coverage of the competing texts on category theory in computer science.
Скачать книгу бесплатно (pdf, 533 Kb)
Читать «A supplement for Category theory for computing science» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Электрошокеры - осторожно, злая собака !Автор: Шелковникова Елена, Автор: Алексеев СергейКатегория: Научная литература
Размер книги: 15 Kb
Twistor geometry and field theoryАвтор: R. S. Ward, Автор: Raymond O. Wells Jr
Размер книги: 3.57 Mb
История Тибета с древнейших времен до наших днейАвтор: Кычанов Е., Автор: Мельниченко Б.
Размер книги: 2.26 Mb
Handbook of Multisensor Data Fusion: Theory and Practice,Автор: Martin E. Liggins, Автор: James, Автор: Ph.D. Llinas, Автор: David L. HallКатегория: programming_development
Размер книги: 15.23 Mb
Расшифрованный Булгаков. Тайны «Мастера и Маргариты»Автор: Соколов Борис ВадимовичКатегория: Критика, Документальная литература
Размер книги: 1.79 Mb
Development and Employment of Fixed-Wing Gunships (The United States Air Force In Southeast Asia)Автор: Jack S. Ballard
Размер книги: 16.94 Mb
|
|
|