I am having the same trouble, but I have found that the Applied Category Theory Course page to be a great starting point. When I go to it, it shows all related discussions and highlights discussions with new messages.
I really appreciated this approach to interpretations of functional programs corresponding to different categories. It seems to me the more applied category theory we develop/discover, the more interpretations of functional programs we have!
Compil…
What is the motivation for the authors to use a non-standard definition of poset (and moreover, not call it out as non-standard in the text)?
I definitely appreciate the puzzles and responses calling out the discrepancy!
Thanks for the warm welcome! I am happy to contribute to the discussion where I am able. However, I am still a young learner of category theory. I tend to have a hand-on-first approach to learning. I like to see examples, then learn common patterns …