Timeline for What do people mean by "subcategory"?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 13, 2010 at 16:24 | comment | added | Ben Wieland | That's a great resource and I should have thought of looking there first, but, in the interest of closure, I'm choosing Tilman's definite answer. | |
| May 12, 2010 at 22:48 | comment | added | Peter LeFanu Lumsdaine | Actually, I was probably overstating things in that last comment... most subcategories used in practice do fall under some of the other definitions discussed there, and it's very rare to see quantification over arbitrary subcategories, so I guess this point is often moot! | |
| May 12, 2010 at 21:40 | comment | added | Peter LeFanu Lumsdaine | There is some very nice discussion there, but I don't think in actual mathematical practice "subcategory" is used for any of those definitions besides the ones mentioned in this question. | |
| May 12, 2010 at 21:02 | history | answered | Andrew Stacey | CC BY-SA 2.5 |