Theoretical Computer Science for the Working Category Theorist

ISBN-13: 9781108792745 / Angielski / Miękka / 2022 / 148 str.

City University of New York) Yan Noson S. (Brooklyn College

Opis

This Element describes the major ideas and theorems of theoretical computer science with the basic language of category theory.

Recenzje

'As well as having a better understanding of Category Theory, I have a new perspective on theoretical computer science: the subset of functions that comprise computable functions is somewhat ugly to formalise. This is the first in a series of Cambridge Elements: shortish works on Applied Category Theory. This one is highly recommended: I will be looking out for the others.' Susan Stepney, (http://susan-stepney.blogspot.com)

Spis treści

1. Introduction; 2. Aide-Mémoire for Category Theory; 3. Models of Computation; 4. Computability Theory; 5. Complexity Theory; 6. Diagonal Arguments; 7. Conclusion; References.