Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
over_category [2015/03/18 17:16]
nikolaj
over_category [2015/03/18 17:16] (current)
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 ===
Link to graph
Log In
Improvements of the human condition