相关论文: Automata and coalgebras in categories of species

This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…

Currently there is great interest in computational models consisting of underlying regular computational environments, and built on them distributed computational structures. Examples of such models are cellular automata, spatial…

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,…

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…

Let $G$ be a group and $A$ a set equipped with a collection of finitary operations. We study cellular automata $\tau : A^G \to A^G$ that preserve the operations of $A^G$ induced componentwise from the operations of $A$. We show that $\tau$…

Given an associative unital algebra $A$ over a perfect field $k$ of odd positive characteristic, we construct a non-commutative generalization of the Cartier isomorphism for $A$. The role of differential forms is played by Hochschild…

We classify subalgebras of a ring of differential operators which are big in the sense that the extension of associated graded rings is finite. We show that these subalgebras correspond, up to automorphisms, to uniformly ramified finite…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

We use homological perturbation machinery specific for the algebra category [P. Real. Homological Perturbation Theory and Associativity. Homology, Homotopy and Applications vol. 2, n. 5 (2000) 51-88] to give an algorithm for computing the…

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…

We first extend the Peierls algebra of gauge invariant functions from the space ${\cal S}$ of classical solutions to the space ${\cal H}$ of histories used in path integration and some studies of decoherence. We then show that it may be…

We introduce two new binary operations with combinatorial species; the arithmetic product and the modified arithmetic product. The arithmetic product gives combinatorial meaning to the product of Dirichlet series and to the Lambert series…

One of the major open problems in automata and logic is the following: is there an algorithm which inputs a regular tree language and decides if the language can be defined in first-order logic? The goal of this paper is to present this…

This paper is, essentially, a survey related to the problem of understanding the combinatorics of the action of the monoidal category of finite dimensional modules over a simple finite dimensional Lie algebra on various categories of Lie…

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^*$…

The variational formalism for classical field theories is extended to the setting of Lie algebroids. Given a Lagrangian function we study the problem of finding critical points of the action functional when we restrict the fields to be…

The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous…

We provide a detailed description of the model Hilbert space $L^2(\bbR; d\Sigma; \cK)$, were $\cK$ represents a complex, separable Hilbert space, and $\Sigma$ denotes a bounded operator-valued measure. In particular, we show that several…