Talk:Finitely generated object
Latest comment: 1 month ago by Klbrain in topic Proposed merge of Finitely generated into Finitely generated object
![]() | The content of Finitely generated was merged into Finitely generated object on 5 July 2025. The former page's history now serves to provide attribution for that content in the latter page, and it must not be deleted as long as the latter page exists. For the discussion at that ___location, see its talk page. |
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Proposed merge of Finitely generated into Finitely generated object
editThis seems to be essentially a set index article disguised as a disambiguation page, and the category-theoretic term is a generalisation of all terms listed here apart from the very last (Finitely generated space). 1234qwer1234qwer4 00:44, 4 March 2025 (UTC)
- Merger complete. Klbrain (talk) 13:01, 5 July 2025 (UTC)