Related papers: Monadic ortholattices: completions and duality

Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…

In this thesis, we present results related to complementarity problems. We study the linear complementarity problems on extended second order cones. We convert a linear complementarity problem on an extended second order cone into a mixed…

We provide conditions under which a modular function defined on a semilattice $X$ and with values in a commutative group is homomorphic to a modular function on a lattice $L$ for any embedding $X\hookrightarrow L$.

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…

We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…

In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…

A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the…

Let $X$ be a Banach lattice. A well-known problem arising from the theory of risk measures asks when order closedness of a convex set in $X$ implies closedness with respect to the topology $\sigma(X,X_n^\sim)$, where $X_n^\sim$ is the order…

Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.

Let $\{\mathbb{P}_n\}_{n\ge 0}$ and $\{\mathbb{Q}_n\}_{n\ge 0}$ be two monic polynomial systems in several variables satisfying the linear structure relation $$\mathbb{Q}_n = \mathbb{P}_n + M_n \mathbb{P}_{n-1}, \quad n\ge 1,$$ where $M_n$…

Let $A$ be a commutative and unital $\mathbb{R}$-algebra, and $M$ be an Archimedean quadratic module of $A$. We define a submultiplicative seminorm $\|\cdot\|_M$ on $A$, associated with $M$. We show that the closure of $M$ with respect to…

If a closed orientable manifold (resp. rational Poincar\'e duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof…

A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X\to \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of…

We complete the classification of symplectic fillings of tight contact structures on lens spaces. In particular, we show that any symplectic filling $X$ of a virtually overtwisted contact structure on $L(p,q)$ has another symplectic…

In this article we show that for every collection $\mathcal{C}$ of an even number of polynomials, all of the same degree $d>2$ and in general position, there exist two hyperbolic $3$-orbifolds $M_1$ and $M_2$ with a M\"obius morphism…

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…