Practical Category Theory Monoids

This week, as part of Axosoft's Dev Talk series, David Koontz explains "

In which we see that each

Examples of

Free

... knocks every object in one category into a single object in the second category it's this black hole fact right so in

This is an organizational video where we explain what this lecture series is about. We talk about the structure of the book, what ...

We cover many aspects about sets and functions. We discuss several operations on sets and several operations on functions.

Monad as a

This lecture is part of an online course on

Luka Jacobowitz—Monoids, Monoids, Monoids

You may have heard that a monad is a

In which we see that

I give the definition for a (symmetric) monoidal

Category theory

This week, as part of Axosoft's Dev Talk series, David Koontz explains "Functors, Higher Kinded Types, and

Goal. Explaining basics concepts of

Simple, isn't it? And all you wanted to know was "WTF is a monad?". If you're just a simple programmer like me, this phrase is ...