Timeline for Is "all categorical reasoning formally contradictory"?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2010 at 7:27 | comment | added | kakaz | Sorry I cannot resist: mathoverflow.net/questions/16095/… . Of course You may avoid to quantify over all categories, but even within large category like Set how do You know what are elements before You define it? General quantification may be defined as certain formula in set theory (1957 Andrzej Mostowski), but I wish to see definition in language of categories... I presume it has to use at least isomorphism between categories... | |
| May 5, 2010 at 19:31 | comment | added | François G. Dorais | This is missing som emphasis from the original. Feel free to fix for accuracy. mfo.de/programme/schedule/2009/08a/OWR_2009_08.pdf | |
| May 5, 2010 at 19:26 | history | answered | François G. Dorais | CC BY-SA 2.5 |