It looks like you're new here. If you want to get involved, click one of these buttons!
Hi all. I programmed and designed video games for a long time, then recently started a second career doing research in mathematical optimization and inference, which in the last couple of years has meant mostly looking at machine learning and neural networks.
I can't stop learning about things, and category theory keeps bubbling up around the edges of whatever I'm learning about (mathematics, physics, programming language theory). I've read a couple of chapters of a few books on it, but have never really gotten deep enough to get my hands dirty. Category theory is so abstract, by design, that it seems to be difficult to get your hands very dirty, which I guess this book is supposed to address! I look forward to finally getting a more in-depth understanding of some of its concepts.
Other passions include chess, Go, and music composition and analysis.