Timeline for "Pointwise" defintions in category theory
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 2, 2017 at 16:50 | vote | accept | HeinrichD | ||
| Apr 2, 2017 at 11:16 | comment | added | Sebastian Goette | "pointwise" could lead to other misunderstandings: some (e.g. closed monoidal) categories $\mathcal C$ have a unit object $E$ (like $\Bbbk$ in the category of vector spaces), and then one can model "points" in an object $O$ by maps $E\to O$, even if one does not have an "underlying set" functor $\mathcal C\to\mathcal Set$. | |
| Apr 2, 2017 at 10:49 | answer | added | Mike Shulman | timeline score: 4 | |
| Apr 2, 2017 at 10:27 | review | Close votes | |||
| Apr 3, 2017 at 10:51 | |||||
| Apr 2, 2017 at 10:13 | comment | added | Peter LeFanu Lumsdaine |
Google objectwise "category theory" to find plenty of examples of people using the term in print — both in category theory itself, and in other fields making use of it. The first five results I get are from Emily Riehl, Bertrand Toën, Georg Biedermann, P.J. Hilton, and Steve Awodey — plenty established names.
|
|
| Apr 2, 2017 at 9:02 | history | asked | HeinrichD | CC BY-SA 3.0 |