-frames and almost compact frames
-algebras of the monad -Fuzz
is a quasi-variety
T-categories and some representation theorems
Tenseurs et machines
Tensor product of partially-additive monoids.
Tensor products in the category of graphs
Tensor products in the category of topological spaces
Ternary semigroups of morphisms of objects in categories
In this paper the notion of a ternary semigroup of morphisms of objects in a category is introduced. The connection between an isomorphism of categories and an isomorphism of ternary semigroups of morphisms of suitable objects in these categories is considered. Finally, the results obtained for general categories are applied to the categories and which were studied in [5].
Ternary structures and groupoids
The 3-by-3 lemma for regular Goursat categories.
The algebraic theory of compact Lawson semilattices Applications of Galois connections to compact semilattices [Book]
The Brauer category and invariant theory
A category of Brauer diagrams, analogous to Turaev’s tangle category, is introduced, a presentation of the category is given, and full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group O or the symplectic group Sp over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain presentations...
The Cantor-Bernstein theorem for functors
The cartesian closed hull of the category of approach spaces
The cartesian closed topological hull of the category of completely regular filterspaces
The categories of presheaves containing any category of algebras [Book]
The category of Banach spaces in sheaves
The category of groupoid graded modules
We introduce the abelian category R-gr of groupoid graded modules and give an answer to the following general question: If U: R-gr → R-mod denotes the functor which associates to any graded left R-module M the underlying ungraded structure U(M), when does either of the following two implications hold: (I) M has property X ⇒ U(M) has property X; (II) U(M) has property X ⇒ M has property X? We treat the cases when X is one of the properties: direct summand, free, finitely generated, finitely presented,...
The category of Pawlak machines