Timeline for The category of abelian group objects
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 21, 2021 at 1:10 | comment | added | LSpice | I was fixing some typos, and came across $f + g : G \xrightarrow{(f, g)} G \times G \xrightarrow+ G$. Since there was no $G$ so far, I thought that some should be $A$ and some should be $B$, and edited accordingly. I hope that this was correct. | |
| Nov 21, 2021 at 1:09 | history | edited | LSpice | CC BY-SA 4.0 |
Typo fixing while this is on the front page
|
| Feb 21, 2017 at 17:15 | comment | added | Todd Trimble | @MartinFrankland See for instance Theorem 5.11 in Barr's paper Exact Categories, page 24 of 120 here: citeseerx.ist.psu.edu/viewdoc/…. | |
| Sep 3, 2014 at 15:02 | comment | added | Martin Frankland | Do you know a reference for the statement that if $C$ is regular, then $T$-$Alg(C)$ is regular for any algebraic theory $T$? I found related material in work of Barr, and I looked at work of Adámek, Rosický, Vitale, and Pedicchio, but couldn't find the statement. For the record, I wrote down a proof here: <arxiv.org/abs/1009.5156v3> (Proposition 3.23), at least for one-sorted algebraic theories. | |
| Mar 9, 2011 at 12:15 | vote | accept | Martin Brandenburg | ||
| Nov 9, 2010 at 15:21 | history | answered | Buschi Sergio | CC BY-SA 2.5 |