相关论文: Interaction laws of monads and comonads

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…

Synthetic active matter systems, such as active colloids, often have complex interactions, which can be of hydrodynamic, chemical or electrostatic origin and cannot be computed from first principles. Here, we use Stochastic Force Inference…

A general class of nonadditive sticky-hard-sphere binary mixtures, where small and large spheres represent the solvent and the solute, respectively, is introduced. The solute-solute and solvent-solvent interactions are of hard-sphere type,…

Motivated by recent experiments realizing correlated phenomena and superconductivity in 2D van der Waals devices, we consider the general problem of whether correlation effects may be enhanced by modifying band structure while keeping a…

The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…

We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of…

We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for variable contexts have been recognized; our theory formalizes…

We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…

We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.

We derive a novel formulation for the interaction potential between deformable fibers due to short-range fields arising from intermolecular forces. The formulation improves the existing section-section interaction potential law for in-plane…

Active colloidal particles typically exhibit a pronounced affinity for accumulating and being captured at boundaries. Here, we engineer long-range repulsive interactions between colloids that self-propel under an electric field and…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…

We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…

We determine the structure and melting behavior of supported metallic clusters using an ab initio density-functional-based treatment of intracluster interactions and an approximate treatment of the surface as an idealized smooth plane…

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…

In this paper, we develop models applicable to phenomenological particle physics by using the string analogy of particles. These theories can be used to investigate the phenomenology of confinement, deconfinement, chiral condensate, QGP…

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…

The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and…

We measure hydrodynamic interactions between colloidal particles confined in a thin sheet of fluid. The reduced dimensionality, compared to a bulk fluid, increases dramatically the range of couplings. Using optical tweezers we force a two…