Related papers: Idempotence for relative monads
Parabolic bifurcations in one complex dimension demonstrate a wide variety of interesting dynamical phenomena. In this paper we consider parabolic bifurcations of families of diffeomorphisms in two complex dimensions. Specifically we…
We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows - certain comma objects - and is easy to verify in examples. Building on…
This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is…
In search of a meaningful 2-dimensional analog to mono- tonicity, we introduce two new definitions and give examples of and dis- cuss the relationship between these definitions and others that we found in the literature. Note: After we…
We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.
This paper analyzes new classes of preradicals defined as weak forms of left exact and idempotent preradicals. We introduce prehereditary preradicals to generalize the hereditary property, and essentially idempotent and weakly idempotent…
We carry on a more detailed investigation of the composition of locally solid convergences as introduced in [BCTvdW24], as well as the corresponding notion of idempotency considered in [Bil23]. In particular, we study the interactions…
In this paper, we study modularity in the context of evolution algebras. Although this property has been previously considered, a complete description is still missing in several natural settings. In particular, we obtain a full…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite…
The authors [3] proved that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and described its monolith. Here we prove that the endomorphism semiring of a commutative inverse semigroup with at least…
The main purpose of this paper is investigating classes of acts that are injective relative to all embeddings with indecomposable domains or codomains. We give some homological classifications of monoids in light of such kinds of…
The symmetric Macdonald polynomials are able to be constructed out of the non-symmetric Macdonald polynomials. This allows us to develop the theory of the symmetric Macdonald polynomials by first developing the theory of their non-symmetric…
One possible natural monotone version of countable paracompactness, MCP, turns out to have some interesting properties. We investigate various other possible monotonizations of countable paracompactness and how they are related.
We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the…
In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…
We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always…
Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledge-representation capabilities those formalisms offer. We provide such an investigation in terms…
We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to characterize posets in which some of these mappings coincide. We define special mappings determined…
It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…