Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vopěnka’s Principle, we prove that a cocomplete category is locally presentable if and only if it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a -element set is colimit-dense in , and spaces of countable dimension are colimit-dense in .
In the work of Hoshino, Kato and Miyachi, [11], the authors look at t-structures induced by a compact object, , of a triangulated category, , which is rigid in the sense of Iyama and Yoshino, [12]. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on whose heart is equivalent to Mod(End( )op). Rigid objects in a triangulated category can the thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave...
The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations...
Pour un anneau local l’homologie du groupe discret a un comportement tout à fait analogue à l’homologie de l’algèbre de Lie lorsque est une algèbre associative sur un corps de caractéristique zéro. L’objet de cet article est de faire une synthèse (sans démonstration) des résultats connus sur ces groupes d’homologie en exhibant leurs liens avec la -théorie algébrique, l’homologie cyclique et la cohomologie motivique. On y pose un certain nombre de questions et on propose une définition pour...