1. 29
  1. 10

    If you’re curious about this stuff and don’t know where to begin, the first chapter of Fong & Spivak, “An Invitation to Applied Category Theory: Seven Sketches in Compositionality” also introduces category-theoretic ideas using partial orders.

    1. 3

      Orders are an extremely useful concept in many many branches of computing and mathematics, not just Category Theory. Two examples that come to mind are package requirements and CRDTs, which both build lattices atop sets with partial orders in order to answer questions.

      1. 1

        Quick lobsters tip! show is for sharing projects, not just things you authored. So the entire series would be a good candidate, as opposed to each individual page. Suggested a change, just letting you know for the future 🙂