English
Related papers

Related papers: Beyond Initial Algebras and Final Coalgebras

200 papers

We give a coalgebra structure on 1-vertex irreducible graphs which is that of a cocommutative coassociative graded connected coalgebra. We generalize the coproduct to the algebraic representation of graphs so as to express a bare 1-particle…

Mathematical Physics · Physics 2015-03-13 Angela Mestre

A new realization of the conformal algebra is studied which mimics the behaviour of a statistical system on a discrete albeit infinite lattice. The two-point function is found from the requirement that it transforms covariantly under this…

Statistical Mechanics · Physics 2008-11-26 Malte Henkel , Dragi Karevski

Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…

Classical Analysis and ODEs · Mathematics 2017-06-12 Wagner Cortes , Antonio R. G. Garcia , Severino H. da Silva

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

These are the notes for a minicourse held in Odessa (2016) and Belo Horizonte (2017). My aim was to provide a short introduction to basic notions of category theory and representation theory of finite-dimensional algebras. We learnt the…

Representation Theory · Mathematics 2017-04-26 Kostiantyn Iusenko

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

Logic · Mathematics 2009-05-19 Jaap van Oosten

We prove that for every integer sequence $I$ satisfying Dold relations there exists a map $f : \mathbb{R}^d \to \mathbb{R}^d$, $d \ge 2$, such that $\mathrm{Per(f)} = \mathrm{Fix(f)} = \{o\}$, where $o$ denotes the origin, and $(i(f^n,…

Dynamical Systems · Mathematics 2016-05-30 Luis Hernandez-Corbato

We study the pointed or copointed liftings of Nichols algebras associated to affine racks and constant cocycles for any finite group admitting a principal YD-realization of these racks. In the copointed case we complete the classification…

Quantum Algebra · Mathematics 2013-08-28 Agustín García Iglesias , Cristian Vay

We analzye Rieffel's construction of generalized fixed point algebras in the setting of group actions on Hilbert modules. Let G be a locally compact group acting on a C*-algebra B. We construct a Hilbert module F over the reduced crossed…

Operator Algebras · Mathematics 2015-10-23 Ralf Meyer

We give a new proof of the result that if f and g are transcendental entire functions, then the composite function f(g) has infinitely many fixed points. The method yields a number of generalization of this result. In particular, it extends…

Complex Variables · Mathematics 2007-05-23 Walter Bergweiler

A new category of topological spaces with additional structures, called m-towers, is introduced. It is shown that there is a covariant functor which establishes a one-to-one correspondences between unital (resp. arbitrary) subhomogeneous…

Operator Algebras · Mathematics 2013-10-22 Piotr Niemiec

We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff \'etale spaces. Difference-restriction algebras are those algebras isomorphic to…

Logic · Mathematics 2025-08-06 Célia Borlido , Ganna Kudryavtseva , Brett McLean

Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…

Algebraic Topology · Mathematics 2025-05-08 Victor Roca i Lucio

We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the…

Representation Theory · Mathematics 2020-10-05 Kostiantyn Iusenko , John William MacQuarrie , Samuel Quirino

For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of ad\`eles of $F$. One approach to this…

Number Theory · Mathematics 2018-06-14 Otto Overkamp

We discuss some results concerning fixed point equations in the setting of topological *-algebras of unbounded operators. In particular, an existence result is obtained for what we have called {\em weak $\tau$ strict contractions}, and some…

Mathematical Physics · Physics 2007-05-23 F. Bagarello

Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First,…

Logic · Mathematics 2015-10-21 Alan J. Cain , Nik Ruškuc

The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open…

Combinatorics · Mathematics 2021-04-13 Brian Rabern , Landon Rabern

We propose some variants of Lefschetz fixed point theorem for Fourier-Mukai functors on a smooth projective algebraic variety. Independently we also suggest a similar theorem for endo-functors on the category of perfect modules over a…

Algebraic Geometry · Mathematics 2011-05-10 Valery A. Lunts

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

Logic in Computer Science · Computer Science 2007-05-23 J. Adamek , S. Milius , J. Velebil