category of lazy family wrong if infinite combinatorial class used as index #18849
Description
sage: from sage.sets.set_from_iterator import EnumeratedSetFromIterator
sage: C=CombinatorialFreeModule(ZZ,EnumeratedSetFromIterator(Integers)) ; C
Free module generated by {0, 1, -1, 2, -2, ...} over Integer Ring
sage: U = tensor((C,)) ; U
Free module generated by {0, 1, -1, 2, -2, ...} over Integer Ring
sage: C.basis().category()
Category of enumerated sets
sage: U.basis().category()
Category of finite enumerated sets
But clearly the basis of U is not finite.
Depends on #19195
CC: @tscrim
Component: categories
Author: Christian Nassau
Branch/Commit: u/cnassau/18849 @ 09f97fa
Reviewer: Vincent Delecroix
Issue created by migration from https://trac.sagemath.org/ticket/18849