Goodreads helps you keep track of books you want to read.

Start by marking “Category Theory for Programmers” as Want to Read:

# Category Theory for Programmers

by

Collected from the series of blog posts starting at: https://bartoszmilewski.com/2014/10/2...

Hardcover available at: http://www.blurb.com/b/9008339-catego... ...more

Hardcover available at: http://www.blurb.com/b/9008339-catego... ...more

## Get A Copy

ebook, v1.0.0, 473 pages

Published
October 21st 2018
(first published October 28th 2014)

## Friend Reviews

To see what your friends thought of this book,
please sign up.

## Reader Q&A

To ask other readers questions about
Category Theory for Programmers,
please sign up.

Be the first to ask a question about Category Theory for Programmers

This book is not yet featured on Listopia.
Add this book to your favorite list »

## Community Reviews

Showing 1-30

Start your review of Category Theory for Programmers

*Ends and Coends*. At that point, I could no longer make sense of what I was reading.

After a pause, I decided to start anew, but again ground to a halt.

When the book came out, I decided to give it a third chance. I've been reading it systematically for months now, and even trying to do most of the exercises.

Part One is great, b ...more

here is my lecture notes https://github.com/srghma/category-th... ...more

The troubles with CTFP start almost immediately. The definitions are loose and scattered. Statements of importance are relatively buried in-between code snippets and paragraphs. Mathematician’s gripe, nothing is ever rigorously shown, and therefore the importa ...more

a) present category theory as a Mathematical branch

b) carry that over to the reader/programmer

c) tell them how and why it matters to apply it when architecting the structure of the code.

It is altogether informative and useful.

I'm half way through, and I'm happy I bought a physical copy, because it motivates me more to read it and it's pleasant to ...more

* В целом, почитать про теорию категорий забавно, особенно когда концепции начинают друг на друга наслаиваться, но практической пользы примерно никакой.

* При этом книжка реально требует много думать. Где-то начиная с середины я ещё смотрел видеолекции от автора, но вот к 400 странице перестало хватать даже их. То есть времени нужно вкладывать много (несколько месяцев у меня ушло) и, мне кажется, это ...more

Personally I found final chapters of part three (e.g.: ends and coends, Lawvere theories, Kan extensions) too abstract and overwhelming.

Eventually, my advice here is to approach this book by interleaving the reading with the You ...more

I think the book could've done better by focusing on real life software composition problems and how the theory ties into it, rather than just using code to demonstrate the theory. ...more

A good supplemental material would be Bartosz Milewski's Category theory for Programmers playlist on YouTube.

The abstraction of ideas and the way Bartosz presents the philosophies is amazing.

Also, the illustrations are spot on! ...more

Dec 01, 2020
Enrique Almeida
added it

Es un tema interesante. La ultima parte me supera.

There are no discussion topics on this book yet.
Be the first to start one »

## Goodreads is hiring!

## News & Interviews

Die-hard mystery fans are always on the hunt for their next supremely satisfying whodunit. To help you stock that Want to Read shelf, we asked...

47 likes · 22 comments

No trivia or quizzes yet. Add some now »

“The usual goal in the typing monkeys thought experiment is the production of the complete works of Shakespeare. Having a spell checker and a grammar checker in the loop would drastically increase the odds. The analog of a type checker would go even further by making sure that, once Romeo is declared a human being, he doesn’t sprout leaves or trap photons in his powerful gravitational field.”
—
1 likes

More quotes…