相关论文: Interaction laws of monads and comonads
Colloidal particles self assemble into a wide range of structures under external AC electric fields due to induced dipolar interactions [Yethiraj and Van Blaaderen Nature 421 513 (2003)]. As a result of these dipolar interactions, at low…
With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of…
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…
It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in…
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…
In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…
Collective behavior widely exists in nature, ranging from the macroscopic cloud of swallows to the microscopic cloud of colloidal particles. The behavior of an individual inside the collective is distinctive from its behavior alone, as it…
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a…
Distributive laws between two monads in a 2-category $\CK$, as defined by Jon Beck in the case $\CK=\mathrm{Cat}$, were pointed out by the author to be monads in a 2-category $\mathrm{Mnd}\CK$ of monads. Steve Lack and the author defined…
In this paper, we study the machine learning elements which we are interested in together as a machine learning system, consisting of a collection of machine learning elements and a collection of relations between the elements. The…
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…
We consider van der Waals interactions between in-plane fibers, where the computational model employs the Lennard-Jones potential and the coarse-grained approach. The involved 6D integral over two interacting fibers is split into a 4D…
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or…
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…
Given a fusion category $\mathcal{C}$ and an indecomposable $\mathcal{C}$-module category $\mathcal{M}$, the fusion category $\mathcal{C}^*_\mathcal{M}$ of $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is called the (Morita) dual…
Recently, Pantina and Furst (Phys. Rev. Lett., 94(13), 138301, 2005) experimentally demon- strated that there are tangential forces between bonded colloidal particles and that bonds between colloidal particles are capable of supporting…
We revisit once again the connection between three notions of computation: monads, arrows and idioms (also called applicative functors). We employ monoidal categories of finitary functors and profunctors on finite sets as models of these…
The role of electronic correlations in Condensed Matter is at the heart of various important systems, like magnetic materials, superconductors, topological materials, optical lattices, etc. Electronic correlations are those which change the…
Active matter systems - such as a collection of active colloidal particles - operate far from equilibrium with complex inter-particle interactions that govern their collective dynamics. Predicting the collective dynamics of such systems may…
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…