libcats.org
Главная

A supplement for Category theory for computing science

Обложка книги A supplement for Category theory for computing science

A supplement for Category theory for computing science

,
The 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Postmodernism - A Very Short Introduction

Автор:
Категория: Social
Размер книги: 2.18 Mb

Applied Process Design for Chemical and Petrochemical Plants

Автор: , Автор:
Размер книги: 24.40 Mb

Master Guide for Team Sports Photography

Автор:
Размер книги: 3.90 Mb

Языковое родство славян

Автор:
Размер книги: 137 Kb

Heart Failure: A Practical Approach to Treatment

Автор: , Автор:
Размер книги: 2.51 Mb

Biological physics: Poincare seminar 2009

Автор: , Автор:
Категория: B_Biology
Размер книги: 8.14 Mb

Notes on the Media Crisis

Автор:
Размер книги: 133 Kb

My Demon

Автор:
Категория: fiction
Размер книги: 187 Kb