Timeline for Proving the impossibility of an embedding of categories
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2011 at 18:49 | history | edited | Tom Goodwillie | CC BY-SA 2.5 |
added 28 characters in body; edited body
|
| Oct 3, 2010 at 23:24 | history | edited | Tom Goodwillie | CC BY-SA 2.5 |
added 5 characters in body
|
| Oct 2, 2010 at 18:48 | comment | added | Peter LeFanu Lumsdaine | I don't think I've ever heard "full" used to include faithfulness as well (I work mainly in "pure" category theory and categorical logic). Is it used that way in some other fields? | |
| Oct 1, 2010 at 10:33 | comment | added | Tom Goodwillie | I may be wrong but I think that what used to be called "fully faithful" or "full and faithful" is nowadays called "full". Anyway, that's what I meant. | |
| Oct 1, 2010 at 8:37 | comment | added | Martin Brandenburg | You also used faithfulness of $F$ ("exactly three morphisms"). | |
| Oct 1, 2010 at 0:48 | history | edited | Tom Goodwillie | CC BY-SA 2.5 |
added 2 characters in body
|
| Oct 1, 2010 at 0:02 | history | answered | Tom Goodwillie | CC BY-SA 2.5 |