Timeline for Isomorphic subcategories of directed graphs and presets
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 24, 2015 at 21:20 | comment | added | Salvo Tringali | Yes, sorry. I had assumed it was standard terminology. Given a cat $\sf C$, it's said that $\sf D$ is a full subcat of $\sf C$ if, well, $\sf D$ is a subcat of $\sf C$ and $\hom_{\sf D}(X,Y) = \hom_{\sf C}(X,Y)$ for all objects $X,Y \in {\rm Ob}(\sf D)$. | |
| Jan 24, 2015 at 21:05 | comment | added | Joel David Hamkins | Could you tell me what it means to be full? | |
| Jan 24, 2015 at 9:37 | history | edited | Salvo Tringali | CC BY-SA 3.0 |
Fixed a couple of adjectives
|
| Jan 24, 2015 at 7:00 | history | asked | Salvo Tringali | CC BY-SA 3.0 |