Timeline for Two pullback diagram
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25, 2013 at 18:27 | comment | added | Andrej Bauer | Ah yes, I forgot the diagram implied some relationships. Thanks. | |
| Sep 25, 2013 at 17:53 | comment | added | Eric Wofsey | I mean the category $\mathcal{C}$ such that a functor out of $\mathcal{C}$ is the same as a commutative diagram of that shape in the target category. So it is generated by the directed graph subject to the relations that say the diagram commutes. | |
| Sep 25, 2013 at 8:53 | comment | added | Andrej Bauer | And how do you compose all the composable arrows? Are you talking about the category which is freely generated by the diagram seen as a directed graph? | |
| Sep 24, 2013 at 18:30 | history | answered | Eric Wofsey | CC BY-SA 3.0 |