Open mohamed-barakat opened 1 month ago
See also IsFinitelyPresentedCategory and IsFinitelyPresentedLinearCategory.
IsFinitelyPresentedCategory
IsFinitelyPresentedLinearCategory
See also
IsFinitelyPresentedCategory
andIsFinitelyPresentedLinearCategory
.