English
Related papers

Related papers: Initial Algebras Unchained -- A Novel Initial Alge…

200 papers

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

Rings and Algebras · Mathematics 2017-08-04 Nathan BeDell

Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…

Algebraic Topology · Mathematics 2015-05-28 Tilman Bauer

This paper contributes to the Alpay Algebra by demonstrating that the stable outcome of a self referential process, obtained by iterating a transformation through all ordinal stages, is identical to the unique equilibrium of an unbounded…

Logic in Computer Science · Computer Science 2025-07-28 Faruk Alpay , Bugra Kilictas , Taylan Alpay

Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is…

Representation Theory · Mathematics 2021-01-19 S. P. Glasby

G. Conner and K. Eda (Topology and its Applications, 146, (2005), 317-328.) introduced a new construction of spaces from groups. They remarked that the construction is not categorical. In this paper, based on the work of Conner and Eda, we…

Algebraic Topology · Mathematics 2011-03-10 Hanieh Mirebrahimi , Behrooz Mashayekhy

Let $\sigma$ be the involution of the Roe algebra $\Roe{\RR}$ which is induced from the reflection $\RR\to\RR; x\mapsto -x$. A graded Fredholm module over a separable $C^*$-algebra $A$ gives rise to a homomorphism…

K-Theory and Homology · Mathematics 2010-03-10 Robert Yuncken

We study induced modules of nonzero central charge with arbitrary multiplicities over affine Lie algebras. For a given pseudo parabolic subalgebra ${\mathcal P}$ of an affine Lie algebra ${\mathfrak G}$, our main result establishes the…

Representation Theory · Mathematics 2009-03-04 Vyacheslav Futorny , Iryna Kashuba

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…

Logic in Computer Science · Computer Science 2024-02-14 Marcelo Fiore , Zeinab Galal , Farzad Jafarrahmani

Assume $k$ is a field and let $F:C\rightarrow Vect_{k}$ be a small $k$-linear functor from a $k$-linear abelian category $C$ to the category of vector spaces over the field $k$, the purpose of this note is to use a little knowledge of…

Category Theory · Mathematics 2021-03-03 Kun Zhou

We introduce a modified affine Hecke algebra $\h{H}^{+}_{q\eta}({l})$ ($\h{H}_{q\eta}({l})$) which depends on two deformation parameters $q$ and $\eta$. When the parameter $\eta$ is equal to zero the algebra $\h{H}_{q\eta=0}(l)$ coincides…

Quantum Algebra · Mathematics 2007-05-23 V. N. Tolstoy , O. V. Ogievetsky , P. N. Pyatov , A. P. Isaev

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

Logic · Mathematics 2023-06-22 Nick Bezhanishvili , Jim de Groot , Yde Venema

UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete…

Functional Analysis · Mathematics 2012-01-31 Jonathan W. Mason

We show that the algebra and the endomotive of the quantum statistical mechanical system of Bost--Connes naturally arises by extension of scalars from the "field with one element" to rational numbers. The inductive structure of the abelian…

Algebraic Geometry · Mathematics 2008-06-18 Alain Connes , Caterina Consani , Matilde Marcolli

An eikonal algebra ${\mathfrak E}(\Omega)$ is a C*-algebra related to a metric graph $\Omega$. It is determined by trajectories and reachable sets of a dynamical system associated with the graph. The system describes the waves, which are…

Mathematical Physics · Physics 2022-12-13 M. I. Belishev , A. V. Kaplun

In this paper, we study arbitrary models of the first-order theory of a ring $A$ where the additive group $A$ is a finitely generated abelian group. Following an earlier paper by this author, Alexei G. Myasnikov and Francis Oger, we call…

Logic · Mathematics 2026-03-31 Mahmood Sohrabi

We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…

History and Overview · Mathematics 2025-05-16 Noah Betz

In this short note we observe that Kelly's transfinite construction of free algebras yields a way to invert well-pointed endofunctors. In enriched settings, this recovers constructions of Keller, Seidel, and Chen-Wang. We also relate this…

Category Theory · Mathematics 2025-10-03 Matt Booth

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

Logic · Mathematics 2015-08-03 Lawrence Valby

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

Gendo-symmetric algebras were recently introduced by Fang and K\"onig. An algebra is called gendo-symmetric in case it is isomorphic to the endomorphism ring of a generator over a finite dimensional symmetric algebra. We show that a finite…

Representation Theory · Mathematics 2016-08-08 Rene Marczinzik