Timeline for Natural transformations as categorical homotopies
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2011 at 17:28 | comment | added | Theo Johnson-Freyd | I guess the fastest answer is that the composition corresponds to (pulling back along) the canonical map $\vec I \to \vec I \cup_{\text{middle}} \vec I$, and leave the $C$s to the reader? | |
| May 10, 2011 at 20:17 | comment | added | Giorgio Mossa | I like this definition of composition of natural transformation, but it seems to use the notion of limit, which need the definition of natural transformation, am I right? I wrote down a definition of composition for this kind of natural transformation which is more complex of the classical one, but it has the merit of avoid to demonstrate that the composite is a natural transformation, because this fact is implicit in the definition. | |
| May 9, 2011 at 14:04 | history | edited | Martin Brandenburg | CC BY-SA 3.0 |
added 640 characters in body
|
| May 9, 2011 at 9:50 | history | answered | Martin Brandenburg | CC BY-SA 3.0 |