Related papers: On enriched terms and 2-categorical universal alge…

The results from the article [Strachan I.A.B., Szablikowski B.M., Stud. Appl. Math. 133 (2014), 84-117] are extended over consideration of central extensions allowing the introducing of additional independent variables. Algebraic conditions…

We introduce the notion of a weighted $\delta$-vector of a lattice polytope. Although the definition is motivated by motivic integration, we study weighted $\delta$-vectors from a combinatorial perspective. We present a version of Ehrhart…

A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…

We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy…

For an exact symplectic manifold $M$ and a Legendrian submanifold $\Lambda$ of the contactification $M\times \mathbb{R}$, we construct the augmentation category (over a field of characteristic 2), a unital $A_\infty$-category whose objects…

We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…

We construct a 2-generator recursively presented group with infinite torsion length. We also explore the construction in the context of solvable and word-hyperbolic groups.

Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas…

We provide a clarification of the classification of two-dimensional algebras over an arbitrary base field. Using this clarification, we determine the number of non-isomorphic two-dimensional algebras over a finite field.

In this note a simple extension of the complex algebra to higher dimension is proposed. Using the postulated algebra a two dimensional Dirac equation is formulated and its solution is calculated. It is found that there is a sub-algebra…

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…

In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to…

We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club…

We consider recollements of derived categories of dg-algebras induced by self orthogonal compact objects obtaining a generalization of Rickard's Theorem. Specializing to the case of partial tilting modules over a ring, we extend the results…

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

We use Birkhoff-James' orthogonality in Banach spaces to provide new conditions for the converse of the classical Riesz's representation theorem.

A classical theorem of Wonenburger, Djokovic, Hoffmann and Paige states that an element of the general linear group of a finite-dimensional vector space is the product of two involutions if and only if it is similar to its inverse. We give…

A complete classifications, up to isomorphism, of two-dimensional associative and diassociative algebras over any basic field are given.