Timeline for Equivalence relations in arbitrary categories
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2019 at 20:47 | vote | accept | FKranhold | ||
| Aug 8, 2019 at 18:09 | answer | added | Simon Henry | timeline score: 6 | |
| Aug 8, 2019 at 18:01 | comment | added | Colin McLarty | You treat $A^{\times 2}$ as an object, and you seem to invoke pullbacks. Do you mean the category has products and pullbacks? Do intend the category to have all finite limits, plus coequalizers? Or do you mean arbitrary categories, where you only require that these products etc exist for the given data? | |
| Aug 8, 2019 at 17:54 | history | edited | FKranhold | CC BY-SA 4.0 |
added 45 characters in body
|
| Aug 8, 2019 at 16:58 | history | asked | FKranhold | CC BY-SA 4.0 |