Related papers: Linear induction algebra and a normal form for lin…
The arithmetic of natural numbers has a natural and simple encoding within sets, and the simplest set whose structure is not that of any natural number extends this set-theoretic representation to positive and negative integers. The…
Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…
A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg compares the bounded derived category of modules for the principal block of a Lusztig quantum enveloping algebra at anroot of unity with an explicit subcategory…
We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincar\'e maps of measured foliations a suitable definition of return words which yields that the set of first…
To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…
Let rho be a Drinfeld A-module with generic characteristic defined over an algebraic function field. We prove that all of the algebraic relations among periods, quasi-periods, and logarithms of algebraic points on rho are those coming from…
We determine what appears to be the bare-bones categorical framework for Poincar\'e-Birkhoff-Witt type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a…
Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…
This paper addresses the representation theory of the insertion-elimination Lie algebra, a Lie algebra that can be naturally realized in terms of tree-inserting and tree-eliminating operations on rooted trees. The insertion-elimination…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…
Toroidal Lie algebras are universal central extentions of the finite dimensional simple Lie algbera tensored with Laurent Polynomials in several commuteing variables. In this paper we classify irreducible integrable modules for Toroidal Lie…
Following the structure theory approach for rings, the aim of this paper is to study some distinguished classes of Lie algebras. We introduce the notion of a Lie-module and discuss some relations of it with various classes of ideals of a…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
In the first part of this article, we give an analysis of the free monad sequence in non-cocomplete categories, with the needed colimits explicitly parametrized. This enables us to state a more finely grained functoriality principle for…
Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the scope of dependently typed programming. When interpreting…
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…
This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction…
Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an integral transformation, whose axioms generalize the basic…
We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…