deniz
Search Results
Bartosz Milewski Category Theory Lectures
→
3.1 Examples of categories, orders, monoids
→
Typing
→
Types in [[Category of Types]] #card #bidirectional
→
#
>
corresponds to strong typing in programming
→