# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeJun 11th 2018

Made a remark, to fill in a gap in the constructive proof that group monomorphisms are regular.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJan 29th 2019

made $FinGrp$ a redirect, and in the process got bogged down with fixing/clarifying some ancient statements here on groups as pointed one-object groupoids, that were mostly right, but not completly.

• CommentRowNumber3.
• CommentAuthorTodd_Trimble
• CommentTimeJan 29th 2019

Did you mean to say “Similarly there is the full subcategory $FinGrp \hookrightarrow Grp$ of finite groups”?

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJan 30th 2019

Fixed this and other typos, mentioned examples of the more general definition for group objects.