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

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

Monad as a

This lecture is part of an online course on

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

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

In which we see that

You may have heard that a monad is a

Monads look pretty different in math vs in programming... what exactly are they? (Don't say they're just

Category theory

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

We show basic structures within

Luka Jacobowitz—Monoids, Monoids, Monoids

Goal. Explaining basics concepts of

I give the definition for a (symmetric) monoidal

Monoids