The category of concrete groups

Content created by Fredrik Bakke, Jonathan Prieto-Cubides, Egbert Rijke, Julian KG, fernabnor and louismntnu.

Created on 2022-09-19.
Last modified on 2023-06-25.

module group-theory.category-of-concrete-groups where
Imports

Definitions

The category of concrete groups

-- is-category-Concrete-Group-Large-Precategory :
--   is-large-category-Large-Precategory Concrete-Group-Large-Precategory
--   is-category-Concrete-Group-Large-Precategory = {!!}

Recent changes