deniz
Search Results
Bartosz Milewski Category Theory Lectures
→
3.1 Examples of categories, orders, monoids
→
Orders
→
#
>
Partial order
#card #bidirectional
→
#
>
Pre-order but with no cycles
→
#
>
Same as a
directed acyclic graph
→