deniz
Search Results
Functional Notes
→
Ideas from [[category theory]]
→
from [[Bartosz Milewski Category Theory Lectures]]
→
#
>
TODO how are groups, rings, fields defined as a category?
→