📚 node [[20210117142702 relations]]
-
tags :: category theory
-
source :: ACT4E - Session 2 - Connection
A relation is a special type of category A relation is a subset of the Cartesian product $X \times Y$.
📖 stoas
- public document at doc.anagora.org/20210117142702-relations
- video call at meet.jit.si/20210117142702-relations
⥱ context
← back
(none)
(none)
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
→ forward
(none)
(none)
🔎 full text search for '20210117142702 relations'