Набиране на средства 15 Март 2025 – 1 Април 2025 Относно набирането на средства

Basic category theory for computer scientists

Main
Computers
Basic category theory for computer...

Basic category theory for computer scientists

Benjamin C. Pierce

0 / 0

1 comment

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

Категории:

Тип съдържание:

Книги

Година:

1991

Издание:

1

Издателство:

MIT Press

Език:

english

Страници:

110

ISBN 10:

0262660717

ISBN 13:

9780262660716

Серия:

Foundations of computing

Файл:

DJVU, 5.43 MB

IPFS:

,

english, 1991

Четете Онлайн

djvu, 5.43 MB

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Grothendieck A., et al. — SGA 4 - 1: Theorie des topos et cohomologie etale des schemas

Michael Barr, Charles Wells — Category Theory for Computing Science

Emily Riehl, Dominic Verity — Infinity-category theory from scratch

Freyd P. — Abelian categories. Introduction to theory of functors

F.W. Lawvere (ed.) — Topoi (collected papers)

D. E. Rydeheard, R.M. Burstall — Computational category theory

Fokkinga. — Gentle introduction to category theory

Bartosz Milewski — Category Theory for Programmers (Scala edition)

Barry Mitchell — Theory of Categories.

D. E. Rydeheard, Burstall — Computational category theory

Michael Barr, Charles Wells — A supplement for Category theory for computing science

Alfred V. Aho, Jeffrey D. Ullman — The theory of parsing, translation, and compiling (Vol. 2)

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

Benjamin C. Pierce — Basic Category Theory for Computer Scientists (Foundations of Computing)

Francis Borceux — 001: Handbook of Categorical Algebra: Volume 1, Basic Category Theory

Teo Mora — Solving polynomial equation systems I: the Kronecker-Duval philosophy

Gray J.W. (ed.) — Mathematical Applications of Category Theory

Eugenia Cheng — Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths

K. H. Kamps, D. Pumplün, W. Tholen — Category Theory

Mac Lane, Saunders — [Graduate Texts in Mathematics] Categories for the Working Mathematician Volume 5 ||

Samson Abramsky, Nikos Tzevelekos — Introduction to Categories and Categorial Logic (draft)

Jay C.B. — An introduction to categories in computing

Smith, Peter — Category Theory_ A Gentle Introduction

Barr M. — Category theory

Robert L. Knighten — Notes on Category Theory

Peter Smith — Category Theory: A Gentle Introduction [draft]

Steve Awodey — Category Theory: Lecture notes

Eugenia Cheng — The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

Knighten R.L — Notes on Category Theory

Smith P — Category theory. A gentle introduction

Asperti A. — Categories, types and structures

Michael Barr, Charles Wells — Category theory for computing science

Steve Awodey — Category Theory

Saunders Mac Lane — Categories for the Working Mathematician

Saunders Mac Lane — Categories for the Working Mathematician

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Gray J.W., Scedrov A. (Editors) — Categories in computer science and logic

Eugenia Cheng — The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

Saunders Mac Lane — Categories for the Working Mathematician

Barr M., Wells C — Category theory for computing science

Най-често използвани термини