Timeline for Intuition behind orthogonality in category theory, and origin of name
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 7, 2019 at 13:29 | vote | accept | geodude | ||
Feb 6, 2019 at 22:21 | answer | added | Mike Shulman | timeline score: 10 | |
Feb 6, 2019 at 13:19 | comment | added | Najib Idrissi | According to this page, "orthogonal factorization systems" used to be called simply "factorization systems". | |
Feb 6, 2019 at 12:43 | history | asked | geodude | CC BY-SA 4.0 |