Timeline for A question on definable categories
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 1, 2013 at 15:03 | comment | added | Hans-Peter Stricker | But morphisms have to be from objects to objects? | |
| Oct 1, 2013 at 14:35 | comment | added | Martin Brandenburg | Artificial example: Objects are groups, and morphisms are isomorphisms from a group (or rather its underlying monoid) to a monoid. | |
| Oct 1, 2013 at 14:08 | comment | added | Hans-Peter Stricker | I'd like to understand better those "(set-theoretically) definable categories" - and this is one of the first questions I stumbled upon. And even though I'm also interested in your trivial artificial example, I am more interested in "natural" examples. | |
| Oct 1, 2013 at 9:32 | comment | added | Eric Wofsey | What is your motivation? It is trivial to construct an artificial example. | |
| Oct 1, 2013 at 8:36 | history | asked | Hans-Peter Stricker | CC BY-SA 3.0 |