Related papers: Internal sizes in $\mu$-abstract elementary classe…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…
The problem of formation of generic structures in the Universe is addressed, whereby first the kinematics of inertial continua for coherent initial data is considered. The generalization to self--gravitating continua is outlined focused on…
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…
This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…
The ``generic'' family of classical sequential growth dynamics for causal sets provides cosmological models of causal sets which are a testing ground for ideas about the, as yet unknown, quantum theory. In particular we can investigate how…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
We introduce the framework of AECats (abstract elementary categories), generalising both the category of models of some first-order theory and the category of subsets of models. Any AEC and any compact abstract theory ("cat", as introduced…
In this paper we give local and global parametric classifications of a class of Einstein submanifolds of Euclidean space. The highlight is for submanifolds of codimension two since in this case our assumptions are only of intrinsic nature.
$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $\lambda > \text{LS} (K)$. If $K$ is categorical in $\lambda$, then the model of cardinality $\lambda$ is Galois-saturated. This…
We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in \lambda. Under these hypotheses, we prove the…
The Fregean ontology can be naturally interpreted within set theory with urelements, where objects correspond to sets and urelements, and concepts to classes. Consequently, Fregean abstraction principles can be formulated as set-theoretic…
Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…
Quantum gravity is expected to impose constraints on the moduli spaces of massless fields that can arise in effective quantum field theories. A recent proposal asserts that the asymptotic volume growth of these spaces is severely…
A causal-net is a finite acyclic directed graph. In this paper, we introduce a category, denoted by $\mathbf{Cau}$ and called causal-net category, whose objects are causal-nets and morphisms between two causal-nets are the functors between…
A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…
We give an overview of the basic definitions of condensed categories, as well as the internal Hom of condensed abelian groups. We give a construction for the internal Hom of condensed sets and apply it to obtain a new proof of a theorem of…
The purpose of this note is to find an elemenary explanation of a surprising result of Ein--Lazarsfeld--Smith \cite{ELS} and Hochster--Huneke \cite{HH} on the containment between symbolic and ordinary powers of ideals in simple cases. This…
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…