Related papers: The theory of implicit operations
We investigate models of algebraic theories in the category of cocommutative coalgebras over a field. We establish some of their categorical properties, similar to those of algebraic varieties. We introduce a class of categories of…
By the universal integrability objects we mean certain monodromy-type and transfer-type operators, where the representation in the auxiliary space is properly fixed, while the representation in the quantum space is not. This notion is…
We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an…
We undertake a reconstruction of the epistemic significance of research on operational theories in quantum foundations. We suggest that the space of operational theories is analogous to the space of possible worlds employed in the possible…
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone…
We introduce a new morphism between algebraic and hermitian K-theory. The topological analog is the Adams operation in real K-theory. From this morphism, we deduce a lower bound for the higher algebraic K-theory of a ring A in terms of the…
We generalize the notion, introduced by Henri Cartan, of an operation of a Lie algebra $\mathfrak g$ in a graded differential algebra $\Omega$. We define the notion of an operation of a Hopf algebra $\mathcal H$ in a graded differential…
We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and…
We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…
We show that Mandell's inverse $K$-theory functor is a categorically-enriched non-symmetric multifunctor. In particular, it preserves algebraic structures parametrized by non-symmetric operads. As applications, we describe how ring…
In this note, we discuss a generalization of the well-known implicit function theorem to the time-delay case. We show that the latter problem is closely related to the bicausal changes of coordinates of time-delay systems. An iterative…
We show that continuous group homomorphisms between unitary groups of unital C*-algebras induce maps between spaces of continuous real-valued affine functions on the trace simplices. Under certain $K$-theoretic regularity conditions, these…
In this paper, we introduce a method of converting implicit equations to the usual forms of functions locally without differentiability. For a system of implicit equations which are equipped with continuous functions, if there are unique…
Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.
Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi stable real (or complex) Frechet algebras.
Every continuous-time flow on a topological space has associated to it a Koopman operator, which operates by time-shifts on various spaces of functions, such as $C^r$, $L^2$, or functions of bounded variation. An eigenfunction of the vector…
A function is differentially algebraic (or simply D-algebraic) if there is a polynomial relationship between some of its derivatives and the indeterminate variable. Many functions in the sciences, such as Mathieu functions, the Weierstrass…
We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a…