Related papers: A syntactic characterization of weakly Mal'tsev va…
Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automata. This paper studies a strictly coarser notion: Late weak…
A random vector ${\bf X}$ is weakly stable iff for all $a,b \in \mathbb{R}$ there exists a random variable $\Theta$ such that $a{\bf X} + b {\bf X}' \stackrel{d}{=} {\bf X} \Theta$, where $X'$ is an independent copy of $X$ and $\Theta$ is…
When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that…
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main…
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact…
In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively…
In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a…
We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the…
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this…
In this paper, weakly homogeneous generalized functions in the special Colombeau algebras are determined up to equality in the sense of generalized distributions. This yields characterizations that are formally similar to distribution…
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms).…
A well known result of Lozanovsky states that a Banach lattice is weakly sequentially complete if and only if it does not contain a copy of $c_{0}$. In the current paper we extend this result to the class of Banach $C(K)$ modules of finite…
When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that…
In a recent paper, motivated by the study of central extensions of associative algebras, G. Janelidze introduces the notion of weakly action representable category. In this paper, we show that the category of Leibniz algebras is weakly…
The main aim of this note is to show that, in the regular context, every matrix property in the sense of Z. Janelidze either implies the Mal'tsev property, or is implied by the majority property. When the regular category is arithmetical,…
We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…
We recall the Chernoff-Marsden definition of weak symplectic structure and give a rigorous treatment of the functional analysis and geometry of weak symplectic Banach spaces. We define the Maslov index of a continuous path of Fredholm pairs…
We generalise the notion of separable equivalence, originally presented by Linckelmann (2011), to an equivalence relation on additive categories. We use this generalisation to show that from an initial equivalence between two algebras we…
We show that a variety $\mathcal V$ is congruence distributive if and only if there is some $h$ such that the inclusion (1) $\Theta \cap ( \sigma \circ \sigma ) \subseteq ( \Theta \cap \sigma ) \circ ( \Theta \cap \sigma ) \circ \dots $…