Functional Notes →

Ideas from [[category theory]]

 → from [[Bartosz Milewski Category Theory Lectures]] →
#
>

TODO how are groups, rings, fields defined as a category?

→