English
Related papers

Related papers: Classification of $\aleph_0$-categorical $C$-minim…

200 papers

We give a complete classification (up to isomorphism) of Lie conformal algebras which are free of rank two as $\C[\partial]$-modules, and determine their automorphism groups.

Representation Theory · Mathematics 2019-07-12 Rekha Biswal , Abdelkarim Chakhar , Xiao He

The category ${\rm Rel}(\mathcal{C})$ may be formed for any category $\mathcal{C}$ with finite limits using the same objects as $\mathcal{C}$ but whose morphisms from $X$ to $Y$ are binary relations in $\mathcal{C}$, that is, subobjects of…

Category Theory · Mathematics 2023-09-26 M. Haddadi , Kh. Keshvardoost , N. S. Razmara

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…

Quantum Algebra · Mathematics 2023-01-13 David Reutter

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

Category Theory · Mathematics 2026-02-06 Jonathan Davies

Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent…

Commutative Algebra · Mathematics 2018-08-06 H. E. A. Campbell , J. Chuai , R. J. Shank , D. L. Wehlau

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

Logic · Mathematics 2017-10-27 Will Boney , Sebastien Vasey

We classify all Mal'cev clones over a three-element set up to minion homomorphisms. This is another step toward the complete classification of three-element relational structures up to pp-constructability. We furthermore provide an…

Rings and Algebras · Mathematics 2025-08-12 Stefano Fioravanti , Michael Kompatscher , Bernardo Rossi , Albert Vucaj

We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated…

Logic · Mathematics 2021-07-01 Jan Dobrowolski , Daniel Max Hoffmann , Junguk Lee

In this paper we give invariants that characterize isotypically equivalent Abelian periodic groups. Also, we describe types of standart tuples of elements in these groups. As the particular case we prove that two Abelian $p$-groups with…

Group Theory · Mathematics 2024-07-24 Elena Bunina

We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…

Operator Algebras · Mathematics 2025-12-09 Erik Bédos , S. Kaliszewski , John Quigg

We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact…

Category Theory · Mathematics 2024-07-26 Damià Rodríguez Banús , Xavier Xarles

We identify the class of elementary groups: the smallest class of totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contains the profinite groups and the discrete groups, is closed under group extensions of…

Group Theory · Mathematics 2015-06-12 Phillip Wesolek

We extend results related to maximal subalgebras and ideals from Lie to Leibniz algebras. In particular, we classify minimal non-elementary Leibniz algebras and Leibniz algebras with a unique maximal ideal. In both cases, there are types of…

Rings and Algebras · Mathematics 2015-06-17 Chelsie Batten Ray , Allison Hedges , Ernest Stitzinger

An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure…

Logic · Mathematics 2008-05-14 W. Calvert , D. Cenzer , V. S. Harizanov , A. Morozov

For a scattered, locally compact Hausdorff space $K$, we prove that the essential norm on the Calkin algebra \break $\mathscr{B}(C_0(K))/\mathscr{K}(C_0(K))$ is a minimal algebra norm. The proof relies on establishing a quantitative…

Functional Analysis · Mathematics 2026-01-19 Antonio Acuaviva

It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian categories collapses a cartesian category into a preorder. An…

Category Theory · Mathematics 2007-05-23 Kosta Dosen , Zoran Petric

We show that the group C*-algebra of any elementary amenable group is quasidiagonal. This is an offspring of recent progress in the classification theory of nuclear C*-algebras.

Operator Algebras · Mathematics 2014-09-24 Narutaka Ozawa , Mikael Rordam , Yasuhiko Sato

The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah's Categoricity Conjecture in this…

Logic · Mathematics 2007-05-23 Monica VanDieren

We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.

Combinatorics · Mathematics 2009-04-29 Steven Klee

Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number chi_0 if chi_0 < lambda_0 <= lambda_1, and K is categorical in lambda^+_1 then it is categorical in…

Logic · Mathematics 2016-09-07 Saharon Shelah