You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Mike Stay (Apr 13 2020 at 22:16):A few years ago, I wrote a runtime typing library for javascript using concepts from category theory. Objects are contracts, functions that either are the identity or throw an exception. Morphisms are guarded functions, functions that run a contract over the input and output. If the input contract fails, it's the caller's fault; if the output contract fails, it's the function's fault.
There's a blog and a series of YouTube videos. I covered only the most introductory concepts. I might do some more videos if there's enough interest.
Philip Zucker (Apr 14 2020 at 02:11):I've come across your series before. It's really interesting.