 | This article relies largely or entirely on a
single source. (February 2024) |
In category theory, a finitely generated object is the quotient of a free object over a finite set, in the sense that it is the target of a regular epimorphism from a free object that is free on a finite set. [1]
For instance, one way of defining a finitely generated group is that it is the image of a group homomorphism from a finitely generated free group.
See also
References
- ^ finitely generated object at the nLab.
 | This category theory-related article is a stub. You can help Wikipedia by expanding it. |
| This article relies largely or entirely on a
single source. (February 2024) |
In category theory, a finitely generated object is the quotient of a free object over a finite set, in the sense that it is the target of a regular epimorphism from a free object that is free on a finite set. [1]
For instance, one way of defining a finitely generated group is that it is the image of a group homomorphism from a finitely generated free group.
See also
References
- ^ finitely generated object at the nLab.
|
| This category theory-related article is a stub. You can help Wikipedia by expanding it. |