Timeline for functors reflecting "isomorphism relations"?
Current License: CC BY-SA 4.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 22, 2020 at 2:12 | answer | added | Tobias Fritz | timeline score: 4 | |
Feb 21, 2020 at 3:34 | vote | accept | Jimmy | ||
Feb 21, 2020 at 3:34 | vote | accept | Jimmy | ||
Feb 21, 2020 at 3:34 | |||||
Feb 21, 2020 at 2:23 | answer | added | Pavel Čoupek | timeline score: 4 | |
Feb 21, 2020 at 1:19 | vote | accept | Jimmy | ||
Feb 21, 2020 at 3:34 | |||||
Feb 21, 2020 at 1:03 | answer | added | Martin Brandenburg | timeline score: 9 | |
Feb 20, 2020 at 16:27 | comment | added | Matt Feller | Just to highlight the difference between conservative functor and the notion you're talking about, if we let $\text{Set}_{n}$ be the full subcategory of $\text{Set}$ whose objects have exactly $n$ elements, then every functor $\text{Set}_{n}\to D$ for any category $D$ has the property you're describing, but will usually not be conservative. (And of course there's nothing special about sets here--the same holds for any $C$ and full subcategory on a given isomorphism class.) | |
Feb 20, 2020 at 14:08 | history | asked | Jimmy | CC BY-SA 4.0 |