Timeline for Is a coslice (slice under) category a full subcategory of it ambient category?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 26, 2019 at 17:56 | comment | added | LSpice |
Calling a category $\operatorname{CRing}$ $\operatorname{CRing}$ is a good idea, but calling a category $\operatorname C$ $\operatorname C$ (rather than just $C$ $C$) probably isn't. Also, use MathJax *MathJax* rather than $\textit{math-mode fakery}$ $\textit{math-mode fakery}$ for italics.
|
|
| Nov 26, 2019 at 17:55 | history | edited | LSpice | CC BY-SA 4.0 |
$\textit{full}$ -> *full*, and other TeX fixes
|
| Nov 19, 2019 at 9:05 | comment | added | sagirot | Thanks everybody for your comments and answers. Since I am quite new here, I was not really aware of the difference between MSE and MO. Now I am aware and yes this is certainly a MSE question. | |
| Nov 19, 2019 at 8:58 | vote | accept | sagirot | ||
| Nov 19, 2019 at 2:17 | comment | added | Kevin Carlson | To me, this clearly belongs at MSE. | |
| Nov 18, 2019 at 21:29 | comment | added | David Roberts♦ | I think this a reasonable question, though amenable to answering by simple examples as shown by Spencer below. As such it's borderline for MO. However, I would have phrased it as: is the forgetful functor $c/C \to C$ full? In particular, a ring may (in principle) have more than one algebra structure, and so you don't have a subcategory. Here's a more interesting question: when is $c/C\to C$ full? | |
| Nov 18, 2019 at 20:30 | review | Close votes | |||
| Dec 3, 2019 at 3:05 | |||||
| Nov 18, 2019 at 19:56 | answer | added | Spencer Dembner | timeline score: 3 | |
| Nov 18, 2019 at 18:51 | history | asked | sagirot | CC BY-SA 4.0 |