258 research outputs found
Contramodules
Contramodules are module-like algebraic structures endowed with infinite
summation (or, occasionally, integration) operations satisfying natural axioms.
Introduced originally by Eilenberg and Moore in 1965 in the case of coalgebras
over commutative rings, contramodules experience a small renaissance now after
being all but forgotten for three decades between 1970-2000. Here we present a
review of various definitions and results related to contramodules (drawing
mostly from our monographs and preprints arXiv:0708.3398, arXiv:0905.2621,
arXiv:1202.2697, arXiv:1209.2995, arXiv:1512.08119, arXiv:1710.02230,
arXiv:1705.04960, arXiv:1808.00937) - including contramodules over corings,
topological associative rings, topological Lie algebras and topological groups,
semicontramodules over semialgebras, and a "contra version" of the
Bernstein-Gelfand-Gelfand category O. Several underived manifestations of the
comodule-contramodule correspondence phenomenon are discussed.Comment: LaTeX 2e with pb-diagram and xy-pic; 93 pages, 3 commutative
diagrams; v.4: updated to account for the development of the theory over the
four years since Spring 2015: introduction updated, references added, Remark
2.2 inserted, Section 3.3 rewritten, Sections 3.7-3.8 adde
Niceness theorems
Many things in mathematics seem lamost unreasonably nice. This includes
objects, counterexamples, proofs. In this preprint I discuss many examples of
this phenomenon with emphasis on the ring of polynomials in a countably
infinite number of variables in its many incarnations such as the representing
object of the Witt vectors, the direct sum of the rings of representations of
the symmetric groups, the free lambda ring on one generator, the homology and
cohomology of the classifying space BU, ... . In addition attention is paid to
the phenomenon that solutions to universal problems (adjoint functors) tend to
pick up extra structure.Comment: 52 page
The algebra of quasi-symmetric functions is free over the integers
AbstractLet Z denote the Leibniz–Hopf algebra, which also turns up as the Solomon descent algebra and the algebra of noncommutative symmetric functions. As an algebra Z=Z〈Z1, Z2,…〉, the free associative algebra over the integers in countably many indeterminates. The coalgebra structure is given by μ(Zn)=∑ni=0Zi⊗Zn−i, Z0=1. Let M be the graded dual of Z. This is the algebra of quasi-symmetric functions. The Ditters conjecture says that this algebra is a free commutative algebra over the integers. In this paper the Ditters conjecture is proved
CoCaml: Functional Programming with Regular Coinductive Types
Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, such as pattern-matching. Whereas inductive types have a long tradition and are well supported in most languages, coinductive types are subject of more recent research and are less mainstream.
We present CoCaml, a functional programming language extending OCaml, which allows us to define recursive functions on regular coinductive datatypes. These functions are defined like usual recursive functions, but parameterized by an equation solver. We present a full implementation of all the constructs and solvers and show how these can be used in a variety of examples, including operations on infinite lists, infinitary γ-terms, and p-adic numbers
Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f. The synthesis algorithm can be seen as an analogue of Brzozowski’s construction of a finite deterministic automaton from a regular expression. It is based on a coinductive characterisation of the operators of 2-adic arithmetic in terms of stream differential equations.
Mixed Tate motives over
We prove that the category of mixed Tate motives over is spanned by the
motivic fundamental group of \Pro^1 minus three points. We prove a conjecture
by M. Hoffman which states that every multiple zeta value is a \Q-linear
combination of where
- …