Note on Demi-Topological Functors.
Note on dense covers in the category of locales
In this note we are going to study dense covers in the category of locales. We shall show that any product of finitely regular locales with some dense covering property has this property as well.
Note on Frobenius monoidal functors.
Note on homology and cohomology with -coefficients
Note on homomorphism interpolation theorem
Note on homotopy pullbacks in abelian categories
Note on normal sequences of chain complexes
Note on projective modules.
Note on universal topological completion
Note sur la détermination des homologies par les carrés exacts
Notes on effective descent and projectivity in quasivarieties of universal algebras.
Notes on enriched categories with colimits of some class.
Notes on TQFT wire models and coherence equations for triangular cells.
Notion of topology for bicategories
Notions of flatness relative to a Grothendieck topology.
Nuclei of categories with tensor products.
Numerology in topoi.
Object-Free Definition of Categories
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two properties:...
Objets algébriquement clos et injectifs dans les catégories localement présentables
Objets injectifs dans les catégories abéliennes