Timeline for Axiom of Replacement in Category Theory
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5, 2010 at 17:51 | comment | added | dvitek | Todd, your URL works fine, but it doesn't display the full link. (It takes me to the nLab page for a cocomplete well-pointed topos, which seems to be what you were discussing in your first post.) | |
| Oct 5, 2010 at 12:17 | comment | added | Todd Trimble | Why can't I get a URL here? | |
| Oct 5, 2010 at 12:17 | comment | added | Todd Trimble | Sorry: ncatlab.org/nlab/show/cocomplete+well-pointed+topos | |
| Oct 5, 2010 at 12:16 | comment | added | Todd Trimble | It may be relevant to remark though that an elementary topos is also "cocomplete" relative to definable families internal to the topos; see for example the discussion on the nLab here: ncatlab.org/nlab/show/cocomplete+well-pointed+topos. So the cocompleteness we are discussing here is external cocompleteness, which depends on a background notion of set. | |
| Oct 5, 2010 at 11:41 | history | answered | David Roberts♦ | CC BY-SA 2.5 |