Near reflections
Non-constant continuous maps of modifications of topological spaces
Normalgruppoide einer Kategorie
Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
Note about atom-categories of topological spaces
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 homomorphism interpolation theorem
Note on homotopy pullbacks in abelian categories
Note on universal topological completion
Notes on enriched categories with colimits of some class.
Notions of flatness relative to a Grothendieck topology.
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 Kar-initiaux
On a generalized small-object argument for the injective subcategory problem
On associated and attached prime ideals of certain modules
Primary and secondary functors have been introduced in [2] and applied to extend some results concerning asymptotic prime ideals. In this paper, the theory of primary and secondary functors is developed and examples of non-exact primary and non-exact secondary functors are presented. Also, as an application, the sets of associated and of attached prime ideals of certain modules are determined.
On binary coproducts of frames
The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.
On categorical shape theory
On Categories of Relations