deniz
Search Results
Bartosz Milewski Category Theory Lectures
→
3.1 Examples of categories, orders, monoids
→
Thick Categories #card #bidirectional
→
Defines a proof-relevant relation
→
#
>
Becomes relevant in
homotopy type theory
→
notes
github
linkedin
calendly
[email protected]