Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: reading & references

Topic: Book with exercies from CT

Uroš Nedić (Jan 13 2025 at 20:31):

I am searching for a good CT Exercises book equipped with solutions.

David Egolf (Jan 13 2025 at 20:42):

• Ralph Sarkis's book "My First Category Theory Textbook" has some solutions in the back.
• Roman's book "An Introduction to the Language of Category Theory" appears to have solutions to odd exercises in the back.
• Jendrik Stelzner has typed up solutions to some exercises in Riehl's book "Category Theory in Context" here.

Ralph Sarkis (Jan 13 2025 at 20:49):

I usually progress on my book and add solutions when I am teaching the course, but this will sadly not happen in the near future. If there is any exercise that you like with no solution yet, I will type it up.

Francisco Rios (Jan 23 2025 at 00:24):

.
Hi Uroš,

For an elementary introduction to Category Theory with nice examples in the context of Computer Science, you may want to look at "Category Theory for Computing Science, Third Edition" by Michael Barr and Charles Well. It contains solutions to all the exercises.

Another nice introduction with examples from Computer Science and Logic is Awodey's book "Category Theory, Second Edition." It does not have all but many solutions to the exercises.

Yet, another accessible and superbly written introduction to Category Theory is "Basic Category Theory" by Tom Leinster. The book does not contain solutions to the exercises, but you may find those here.

Enjoy!

Francisco
.