Categories of ordered sets
Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman
Categories of systems of -relations
Categories of topological spaces with sufficiently many sequentially closed spaces
Catégories structurées III. Quintettes et applications covariantes
Categorified algebra and quantum mechanics.
Category of commutative groupoids is binding
Cauchy-completion and the associated sheaf
CCD lattices in presheaf categories.
Čech extensions and localization of homotopy functors
Čech-Stone-like compactifications for general topological spaces
The problem whether every topological space has a compactification such that every continuous mapping from into a compact space has a continuous extension from into is answered in the negative. For some spaces such compactifications exist.
Central extensions and reciprocity laws
Centrality and normality in protomodular categories.
Change of base for relational variable sets.
Characterization of fuzzy order relation by fuzzy cone
In the present paper, fuzzy order relations on a real vector space are characterized by fuzzy cones. It is well-known that there is one-to-one correspondence between order relations, that a real vector space with the order relation is an ordered vector space, and pointed convex cones. We show that there is one-to-one correspondence between fuzzy order relations with some properties, which are fuzzification of the order relations, and fuzzy pointed convex cones, which are fuzzification of the pointed...
Characterizations of Lambek-Carlitz type
We give Lambek-Carlitz type characterization for completely multiplicative reduced incidence functions in Möbius categories of full binomial type. The -analog of the Lambek-Carlitz type characterization of exponential series is also established.
Charakterisierung nüchterner Räume.
Classification of concrete geometrical categories.
Classification of tensor products of symmetric graphs
In the category of symmetric graphs there are exactly five closed tensor products. If we omit the requirement of units, we obtain twelve more.
Closure operators in exact completions.