Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!




  • 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!