Hey mathstodon ...

Thinking about architecture and design of commercial data environments and software applications in more formal ways than the average set thinking dominating IT.

What is your experience with using category theory outside of a research scope?

#categorytheory

@FrohlichMarcel

Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4

#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming

HT @zurihac

Category Theory: Introducing The Perfect Language (Talk At ZuriHac 2025)

YouTube