Cofinitary abelian category
= Cofinitary abelian category
A complete <abelian category> is cofinitary when its <opposite category> is a <finitary abelian category>. Thus a cone of epimorphisms over an inverse directed diagram induces an epimorphism from its vertex to the limit.