This has been posted before, but there was no discussion. More interesting is the search for "Category Theory" in the title - lots of interesting stuff:<p><a href="https://hn.algolia.com/?q=why+category+theory+matters#!/story/sort_by_date/prefix/0/category%20theory" rel="nofollow">https://hn.algolia.com/?q=why+category+theory+matters#!/stor...</a>