Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
over_category [2015/03/18 17:16] nikolaj |
over_category [2015/03/18 17:16] nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| === Elaboration === | === Elaboration === | ||
| Given a (target) object $T$ in any category ${\bf C}$, the over category ${\bf C}/T$ has objects all arrows into $T$, and arrows all forwardings of their domains (there is one for each commutative triangle). | Given a (target) object $T$ in any category ${\bf C}$, the over category ${\bf C}/T$ has objects all arrows into $T$, and arrows all forwardings of their domains (there is one for each commutative triangle). | ||
| - | |||
| - | === Discussion === | ||
| - | |||
| === Reference === | === Reference === | ||
