Name: An introduction to category theory
ISBN: 9780521283045

An introduction to category theory

"As it says on the front cover this book is an introduction to Category Theory. It gives the basic definitions, goes through the various associated gadgetry such as functors, natural transformations, limits and colimits, and then explains adjunctions. This material could be developed in 50 pages or so, but here it takes some 220 pages. That is because there are many examples illustrating the various notions, some rather straightforward, and others with more content. More importantly, there are also over 200 exercises"

What Hacker News says

d_trJan 2023

A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry by Peter Szekeres

My intro to abstract math... Wide range of topics, very clearly written and very well structured. Sets, groups, vector spaces, tensors, topology, differential geometry, lie groups and more.

An Introduction to Category Theory by Harold Simmons

Very enjoyable read. You cannot go wrong with this as your first book on the subject.

thread

zephyzJul 2016

Hi, Here is the situation: I've received a letter from my uni saying I cannot continue my studies there. I love the theory of programming languages and I've been studying on the side books about type theory, compilers, programming languages, category theory, topos and proofs (TAPL and Software foundations form B. Pierce, Introduction to category theory by Harold Simmons, papers on DOT/scala)

I would like to pursue this route into PLT but I lack the formalism that a university can teach me. On the other hand, I don't want to start again in a new university as I would see it as a huge waste of time and would like to focus in what I enjoy.

My plan is to find a job as a compiler engineer while studying on the side and contributing to open source programming languages. But I have a hard time finding job offers in compiler engineering. Offers in my area are sparse and job offers I find rarely accept remote (I live in Switzerland)

In conclusion my questions are: - how do you get a job in compiler engineering? who is hiring? and if it's unjustifiable to hire a junior like me, how do I get the necessary experience to be employable? - Is there a better way to do it? Am I missing something? If you were to get in the field completely differently, how would you do it?

thread