* **A new book: Theoretical Computer Science for the Working Category Theorist**
**@ 2022-01-25 19:41 Noson**
0 siblings, 0 replies; only message in thread
From: Noson @ 2022-01-25 19:41 UTC (permalink / raw)
To: categories
Dear All,
Cambridge University Press just came out with the first in its series
<https://www.cambridge.org/core/what-we-publish/elements/elements-in-applied
-category-theory> Elements in Applied Category Theory .
Theoretical Computer Science for the Working Category Theorist
By Noson S. Yanofsky
Abstract: Using basic category theory (category, functor, natural
transformation, etc.), this Element describes all the central concepts and
proves the main theorems of theoretical computer science. Category
theory, which works with functions, processes, and structures, is uniquely
qualified to present the fundamental results of theoretical computer
science. In this text, we meet some of the deepest ideas and theorems of
modern computers and mathematics, e.g., Turing machines, unsolvable
problems, the P=NP question, Kurt Gödel’s incompleteness theorem,
intractable problems, Turing’s Halting problem, and much more. The
concepts come alive with many examples and exercises. This short text
covers the usual material taught in a year-long course.
https://www.cambridge.org/core/elements/theoretical-computer-science-for-the
-working-category-theorist/5F3499D1F326D2D77567AA1041627699
It will be freely available to access online for the next two weeks.
All the best,
Noson
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [**flat**|nested] only message in thread

only message in thread, other threads:[~2022-01-25 19:41 UTC | newest]
**Thread overview:** (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-25 19:41 A new book: Theoretical Computer Science for the Working Category Theorist Noson

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox