Related papers: Delta lenses as coalgebras for a comonad
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…
Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched…
We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebraic framework to capture common scientific applications such…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
The aim of the paper is to build a connection between two approaches towards categorical language theory: the coalgebraic and algebraic language theory for monads. For a pair of monads modelling the branching and the linear type we defined…
Lenses are a category theoretic construct and are used in a wide variety of applications. Symmetric lenses compose to, of course, form new symmetric lenses. Symmetric lenses are usually represented as spans of asymmetric lenses. In many…
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model continuous-time transition systems. We develop the theory of…
The purposes of this work are (1) to show that the appropriate generalizations of the oscillator algebra permit the construction of a wide set of nonlinear coherent states in unified form; and (2) to clarify the likely contradiction between…
In the theory of coalgebras $C$ over a ring $R$, the rational functor relates the category of modules over the algebra $C^*$ (with convolution product) with the category of comodules over $C$. It is based on the pairing of the algebra $C^*$…
These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…
In this paper we describe a comma 2-comonad on the 2-category whose objects are functors, 1-cell are colax squares and 2-cells are their transformations. We give a complete description of the Eilenberg-Moore 2-category of colax coalgebras,…
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in…
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of…
We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces,…
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding categories of lenses have remained unknown. In this paper, we…
Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…
Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to…
A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio. An important construction for proving many of these…
A Delta-groupoid is an algebraic structure which axiomatizes the combinatorics of a truncated tetrahedron. By considering two simplest examples coming from knot theory, we illustrate how can one associate a Delta-groupoid to an ideal…