The definable content of homological invariants I: Ext & lim¹ | Publicación