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?
→
notes
github
linkedin
meet
[email protected]