Objets Kar-initiaux
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 Categories of Relations
On descriptive classification of set-functors. I.
On descriptive classification of set-functors. II.
On equalizers in generalized algebraic categories
On product and change of base for toposes
On sifted colimits and generalized varieties.
On subdirect irreducibility and its variants
On sums in generalized algebraic categories
On the Boundedness of Topological Categories.
On the co-completeness of the category of Hausdorff uniform spaces.
On the notion of precohomology
On the pullback stability of a quotient map with respect to a closure operator.
Order-enriched solid functors
Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnková's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by C. Anghel. Our focus in this paper is on differentiating...