Timeline for Does the morphism of composition have some universal property?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 18, 2021 at 14:56 | comment | added | fosco | Yes, I wanted to add it myself. :) | |
| Jun 18, 2021 at 13:27 | comment | added | Martin Brandenburg | To sum this up, we have$$\int^{B} \hom(A,B) \times \hom(B,C) = \hom(A,C).$$In fact, for any set-valued functor $F$ we have $$\int^{B} F(B) \times \hom(B,C) = F(C).$$ | |
| Jun 17, 2021 at 20:55 | comment | added | fosco | There's a very long story you can tell about them :D arxiv.org/abs/1501.02503 | |
| Jun 17, 2021 at 20:40 | comment | added | Johan Thiborg-Ericson | On a first glance, this looks very much like what I am looking for. I'll look into cowedges. | |
| Jun 17, 2021 at 19:54 | history | edited | fosco | CC BY-SA 4.0 |
added 8 characters in body
|
| Jun 17, 2021 at 9:49 | history | edited | fosco | CC BY-SA 4.0 |
added 686 characters in body
|
| Jun 17, 2021 at 9:43 | history | answered | fosco | CC BY-SA 4.0 |