Timeline for Strongly connected components as adjoint functor?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 30, 2022 at 9:25 | comment | added | Tobias Fritz | @Aurel, of course, sorry, I'll delete my comment. Then I don't know. | |
| May 30, 2022 at 8:13 | comment | added | Aurel | @TobiasFritz Really? For $G$ an oriented triangle (edges $1\to 2$, $2\to 3$ and $3\to 1$), $G\cap G^{op}$ is the graph with $3$ vertices and no edges, but $G$ has a single strongly connected component. Am I missing something? | |
| May 29, 2022 at 20:32 | vote | accept | Arrow | ||
| May 29, 2022 at 20:32 | comment | added | Arrow | Do you see any way of defining strongly connected components using the connected components functor and some other "canonical" constructions? | |
| May 29, 2022 at 18:00 | history | answered | Tobias Fritz | CC BY-SA 4.0 |