相关论文: Closures in $\aleph_0$-categorical bilinear maps

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…

The paper studies the structure of restricted Leibniz algebras. More specifically speaking, we first give the equivalent definition of restricted Leibniz algebras, which is by far more tractable than that of a restricted Leibniz algebras in…

We prove that for a finite first order structure $\mathbf{A}$ and a set of first order formulas $\Phi$ in its language with certain closure properties, the finitary relations on $A$ that are definable via formulas in $\Phi$ are uniquely…

This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…

We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$…

We introduce two classes of algebras coming from partial triangulations of marked surfaces. The first one, called frozen algebra of a partial triangulation, is generally of infinite rank and contains frozen Jacobian algebras of…

An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains…

This is a survey article for "Handbook of Linear Algebra", 2nd ed., Chapman & Hall/CRC, 2014. An informal introduction to representations of quivers and finite dimensional algebras from a linear algebraist's point of view is given. The…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Leibniz algebras are certain generalization of Lie algebras. In this paper we give classification of non-Lie solvable (left) Leibniz algebras of dimension $\leq 8$ with one dimensional derived subalgebra. We use the canonical forms for the…

A systematic method is presented for the construction and classification of algebras of gauge transformations for arbitrary high rank tensor gauge fields. For every tensor gauge field of a given rank, the gauge transformation will be…

We give a complete combinatorial description of the bifurcation structure in the space of exponential maps $z\mapsto\exp(z)+\kappa$. This combinatorial structure is the basis for a number of important results about exponential parameter…

Commutative Hilbertian Frobenius algebras are those commutative semi-group objects in the monoidal category of Hilbert spaces, for which the Hilbert adjoint of the multiplication satisfies the Frobenius compatibility relation, that is, this…

We present here two detailed examples of additive categorifications of the cluster algebra structure of a coordinate ring of a maximal unipotent subgroup of a simple Lie group. The first one is of simply-laced type ($A_3$) and relies on an…

An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and…

In this paper, we classify solvable Lie algebras of dimensions $\leq 8$ endowed with a nondegenerate invariant symmetric bilinear form over an algebraically closed field. This classification (up to isometrically isomorphisms) is mainly…

Differentiable conjugacies link dynamical systems that share properties such as the stability multipliers of corresponding orbits. It provides a stronger classification than topological conjugacy, which only requires qualitative similarity.…

In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those…

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of…

Three types of geometric structure---grid triangulations, rectangular subdivisions, and orthogonal polyhedra---can each be described combinatorially by a regular labeling: an assignment of colors and orientations to the edges of an…