Related papers: $\mu$-Abstract Elementary Classes and other genera…
This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…
We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented…
We give a presentation theorem for continuous first-order logic and Metric Abstract Elementary classes in terms of $L_{\omega_1, \omega}$ and Abstract Elementary Classes, respectively. This presentation is accomplished by analyzing dense…
We introduce relative homological and weakly homological categories, where ``relative'' refers to a distinguished class of normal epimorphisms. It is a generalization of homological categories, but also protomodular categories can be…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of…
Given a cover $\mathbb{U}$ of a family of smooth complex algebraic varieties, we associate with it a class $\mathcal{U},$ containing $\mathbb{U}$, of structures locally definable in an o-minimal expansion of the reals. We prove that the…
For a Lie algebroid, divergences chosen in a classical way lead to a uniquely defined homology theory. They define also, in a natural way, modular classes of certain Lie algebroid morphisms. This approach, applied for the anchor map,…
We study topological aspects of the category of abstract Cuntz semigroups, termed Cu. We provide a suitable setting in which we are able to uniformly control how to approach an element of a Cu-semigroup by a rapidly increasing sequence.…
We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras,…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.
Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…
Neocategories, semicategories, precategories are well-known generalizations of categories. But they all suppose that sources and targets of morphisms fulfilled identity conditions. Here we intend to suppress those conditions. In doing this…
For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…
We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and…
The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are…
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…