Related papers: Preservation of Equations by Monoidal Monads

We study here preference revision, considering both the monotonic case where the original preferences are preserved and the nonmonotonic case where the new preferences may override the original ones. We use a relational framework in which…

Menon's proof of the preservation of log-concavity of sequences under convolution becomes simpler when adapted to 2-sided infinite sequences. Under assumption of log-concavity of two 2-sided infinite sequences, the existence of the…

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…

We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in…

Let $\A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $\phi:\A\to \A$ that preserve zeros of $f$. Under certain technical…

An important characteristic of many logics for Artificial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequences. There may, however, exist formulae that can always be…

We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

We classify possible supersymmetry-preserving relevant, marginal, and irrelevant deformations of unitary superconformal theories in $d \geq 3$ dimensions. Our method only relies on symmetries and unitarity. Hence, the results are model…

In this paper, we give some characterizations of orthogonality preserving mappings between inner product spaces. Furthermore, we study the linear mappings that preserve some angles. One of our main results states that if $\mathcal{X},…

In this paper we construct effective invariants for braid monodromy of affine curves. We also prove that, for some curves, braid monodromy determines their topology. We apply this result to find a pair of curves with conjugate equations in…

This paper studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursion-free fragment of XQuery. We show that monad algebra with equality restricted to atomic values is complete…

We survey the symmetry preserving properties for the dual propinquity, under natural non-degeneracy and equicontinuity conditions. These properties are best formulated using the notion of the covariant propinquity when the symmetries are…

A Lagrangian approach is proposed and developed to study defects within affine Toda field theories. In particular, a suitable Lax pair is constructed together with examples of conserved charges. It is found that only those models based on…

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…

Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key…

It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.

Let $(X,T)$ be a topological dynamical system and $\mu$ be a invariant measure, we show that $(X,\mathcal{B},\mu,T)$ is rigid if and only if there exists some subsequence $A$ of $\mathbb N$ such that $(X,T)$ is $\mu$-$A$-equicontinuous if…

We prove that local operations that preserve all symmetries, as e.g. dual, truncation, ambo, or join,, as well as local operations that preserve all symmetries except orientation reversing ones, as e.g. gyro or snub, preserve the…

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…