The frame of fibrewise closed nuclei
The infinite minimal rich monoid
The internal and external aspect of logic and set theory in elementary topoi
The Interval [0,1] Admits no Functorial Embedding into a Finite-Dimensional or Metrizable Topological Group
An embedding X ⊂ G of a topological space X into a topological group G is called functorial if every homeomorphism of X extends to a continuous group homomorphism of G. It is shown that the interval [0, 1] admits no functorial embedding into a finite-dimensional or metrizable topological group.
The Krull-Schmidt theorem for categories of finitely generated modules over valuation domains.
The logic of categories of partial functions and its applications [Book]
The low-dimensional homology of crossed modules.
The Mal'tsev operation on extensions
The matching problem for behavioral systems
The Moore-Penrose inverse of a partitioned morphism in an additive category
The notion of closedness in topological categories
In [1], various generalizations of the separation properties, the notion of closed and strongly closed points and subobjects of an object in an arbitrary topological category are given. In this paper, the relationship between various generalized separation properties as well as relationship between our separation properties and the known ones ([4], [5], [7], [9], [10], [14], [16]) are determined. Furthermore, the relationships between the notion of closedness and strongly closedness are investigated...
The point of the empty set
The property for finite seminormal functors.
The Roquette category of finite -groups
Let be a prime number. This paper introduces the Roquette category of finite -groups, which is an additive tensor category containing all finite -groups among its objects. In , every finite -group admits a canonical direct summand , called the edge of . Moreover splits uniquely as a direct sum of edges of Roquette -groups, and the tensor structure of can be described in terms of such edges. The main motivation for considering this category is that the additive functors from to...
The shift functor and the comprehensive factorization for internal groupoids
The spectrum of a separated presheaf and the relation between totally fuzzy subsets and fuzzy subsets; application to fuzzy topology
The stack quotient of a groupoid
The structure of initial completions
The tensor category of linear maps and Leibniz algebras.
The topology of continuous partially-additive monoids