Timeline for Category of concrete categories
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 23, 2017 at 9:32 | vote | accept | André Henriques | ||
| Aug 23, 2017 at 9:31 | history | edited | André Henriques | CC BY-SA 3.0 |
deleted 1 character in body
|
| Aug 23, 2017 at 7:25 | comment | added | Philippe Gaucher | There is a good reference about concrete categories: katmat.math.uni-bremen.de/acc/acc.pdf (if you don't know it already). | |
| Aug 22, 2017 at 10:15 | answer | added | Peter LeFanu Lumsdaine | timeline score: 10 | |
| Aug 22, 2017 at 10:12 | comment | added | fosco | "(co)lax concrete functor (see [Porst])"? | |
| Aug 22, 2017 at 10:08 | comment | added | André Henriques | @David Roberts: Thanks for the pointer. The article you cite assumes that the natural transformation $U_1\Rightarrow U_2\circ F$ is an equivalence (which is something I don't want to assume). | |
| Aug 22, 2017 at 9:53 | comment | added | David Roberts♦ | This article uses "concrete functor": Porst, What is concrete equivalence? doi.org/10.1007/BF00878502, I think (I can't check right now) | |
| Aug 22, 2017 at 9:45 | history | edited | André Henriques | CC BY-SA 3.0 |
edited body
|
| Aug 22, 2017 at 9:40 | comment | added | André Henriques | A $2$-morphism from $(F_1,z_1)$ to $(F_2,z_2)$ is a natural transformation $\Phi:F_1\Rightarrow F_2$ wish the property that $z_2=(U_2\circ \Phi)\bullet z_1$, where $\circ$ denotes horizontal composition and $\bullet$ denotes vertical composition. | |
| Aug 22, 2017 at 9:31 | comment | added | Andrej Bauer | What's the obvious thing, if I may ask? Modifications? | |
| Aug 22, 2017 at 9:28 | history | asked | André Henriques | CC BY-SA 3.0 |