Two isomorphism criteria for directed colimits

Vincenzo Marra, Luca Spada

Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequenc…