Related papers: Idempotence for relative monads

We show how a commutative monad gives rise to a theory of extensive quantities, including (under suitable further conditions) a differential calculus of such. The relationship to Schwartz distributions is dicussed. The paper is a companion…

This paper develops an approach for describing centrally extended groups, as determining the adjoint groups associated with quandles. Furthermore, we explicitly describe such groups of some quandles. As a corollary, we determine some second…

We define a relative Yamabe invariant of a smooth manifold with given conformal class on its boundary. In the case of empty boundary the invariant coincides with the classic Yamabe invariant. We develop approximation technique which leads…

We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple…

A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…

We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models which form bicategories and not categories, such as those based…

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…

We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We answer this question (positively) in the idempotent case and…

We introduce cone bilipschitz equivalences between metric spaces. These are maps, more general than quasi-isometries, that induce a bilipschitz homeomorphism between asymptotic cones. Non-trivial examples appear in the context of Lie…

Many structured categories of interest are most naturally described as algebras for a relative monad, but turn out nonetheless to be algebras for an ordinary monad. We show that, under suitable hypotheses, the left oplax Kan extension of a…

As part of the author's studies on equational reasoning for monadic programs, this report focus on non-determinism monad. We discuss what properties this monad should satisfy, what additional operators and notations can be introduced to…

The use of persistent homology in applications is justified by the validity of certain stability results. At the core of such results is a notion of distance between the invariants that one associates with data sets. Here we introduce a…

Ramified monoids are a class of monoids introduced by the authors. The main motivation for considering these monoids comes from knot theory, see [3, 4, 5]. Thus, in [2] we have studied the ramified monoids of the symmeytric group and of the…

Monotonicity of a mapping implies its pseudomonotonicity and hence quasimonotonocity, the converse is not true. In this note we intend to study the situations under which quasimono tonicity of a mapping implies its monotonicity. Thus we…

A linear relation $E$ acting on a Hilbert space is idempotent if $E^2=E.$ A triplet of subspaces is needed to characterize a given idempotent: $(\mathrm{ran} \, E, \mathrm{ran}(I-E), \mathrm{dom}\, E),$ or equivalently, $(\mathrm{ker}(I-E),…

We introduce a bounded version of Bredon cohomology for groups relative to a family of subgroups. Our theory generalizes bounded cohomology and differs from Mineyev--Yaman's relative bounded cohomology for pairs. We obtain cohomological…

Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…

We define relative versions of the classical invariants of Legendrian and transverse knots in contact 3-manifolds for knots that are homologous to a fixed reference knot. We show these invariants are well-defined and give some basic…

We study emerging notions of quantum correlations in compound systems. Based on different definitions of quantumness in individual subsystems, we investigate how they extend to the joint description of a composite system. Especially, we…