Related papers: Exceptionally Monadic Error Handling
In this paper, we propose a new generalization of the classical discrete Choquet integral to the multivalued framework in terms of an admissible order that refines the natural partial order on the considered value set. The new Choquet-like…
Let $\mathcal E$ denote the set of all unital entanglement breaking (UEB) linear maps defined on an operator system $\mathcal S \subset M_d$ and, mapping into $M_n$. As it turns out, the set $\mathcal E$ is not only convex in the classical…
End-to-end Transformers have demonstrated an impressive success rate for Embodied Instruction Following when the environment has been seen in training. However, they tend to struggle when deployed in an unseen environment. This lack of…
Let $\Lambda$ be an open set in Banach space $E$, $M(x)$ for $x\in \Lambda $ be a subspace in $E$, and $x_0$ be a point in $\Lambda $. We consider the family $\mathcal{F}=\{M(x):\forall x\in\Lambda\}$, but the dimension of $M(x)$ can be…
We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models based on type-and-effect systems, in which there is a monad for…
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…
Adams operations are the natural transformations of the representation ring functor on the category of finite groups, and they are one way to describe the usual lambda-ring structure on these rings. From the representation-theoretical point…
Extended multi-adjoint logic programming arises as an extension of multi-adjoint normal logic programming where constraints and a special type of aggregator operator have been included. The use of this general aggregator operator permits to…
Wadler and Thiemann unified type-and-effect systems with monadic semantics via a syntactic correspondence and soundness results with respect to an operational semantics. They conjecture that a general, "coherent" denotational semantics can…
The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for…
We study a conical extension of averaged nonexpansive operators and the role it plays in convergence analysis of fixed point algorithms. Various properties of conically averaged operators are systematically investigated, in particular, the…
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typically performed by manipulating the knowledge base on the…
Let $H$ be a separable Hilbert space with a fixed orthonormal basis. Let $\mathbb B^{(k)}(H)$ denote the set of operators, whose matrices have no more than $k$ non-zero entries in each line and in each column. The closure of the union (over…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete with respect to the axiomatic model. The semantics relies on a…
The traditional approach to fault tolerant computing involves replicating computation units and applying a majority vote operation on individual result bits. This approach, however, has several limitations; the most severe is the resource…
Let $\cal M$ be a Banach C*-module over a C*-algebra $A$ carrying two $A$-valued inner products $< .,. >_1$, $<.,. >_2$ which induce equivalent to the given one norms on $\cal M$. Then the appropriate unital C*-algebras of adjointable…
Environmental noise (e.g.heat, ionized particles, etc.) causes transient faults in hardware, which lead to corruption of stored values. Mission-critical devices require such faults to be mitigated by fault-tolerance --- a combination of…
C-based interpreters such as CPython make extensive use of C "extension" code, which is opaque to static analysis tools and faster runtimes with JIT compilers, such as PyPy. Not only are the extensions opaque, but the interface between the…