Coherent Functors and Covariantly Finite Subcategories
by Krause, Henning
Given a locally presentable additive category A, we study a class of covariantly finite subcategories which we call definable. A definable subcategory arises from a set of coherent functors F
i
on A by taking all objects X in A such that F
i
X=0 for all i. We give various characterizations of definable subcategories, demonstrating that all covariantly finite subcategories which arise in practice are of this form. This is based on a filtration of the category of all coherent functors on A.
DOI: 10.1023/B:ALGE.0000006492.02381.df
Print publication date: 12/1/2003
View article on SpringerLink
