Great intro! As a computer science guy I am truly exited to rediscover concepts in a categorical way. I can safely say I can't imagine myself understanding lambda calculus with category theory. Hopefully that is about to change!
Puzzles 1 and 3. What is a "poset" according to the book and what mathematicians usually call it?
A set \(S\) with a relation \(R \subseteq S \times S\), denoted \(\le\), such that:
For all \(x \in S\), \(x \le x\), that is, the relation is r…
Welcome Varun! Algebra: Chapter 0 seems like a wonderful book! I've only read the first two chapters but plan to eventually work all the way through. Also, good luck with Haskell! It is a wonderful programming language!