agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Concrete subgroups

Open elisabethstenholm opened this issue 3 years ago • 0 comments

TODO

  • [ ] Prove that mono-Concrete-Group is a set.
  • [ ] Define the type of subgroups using G-sets.
  • [ ] Prove that the two types are equivalent.
  • [ ] Prove that hom-Concrete-Group is a set.
  • [ ] Prove that mono-Concrete-Group are the monomorphisms in the category of concrete groups.

elisabethstenholm avatar Jan 10 '22 12:01 elisabethstenholm