Related papers: Metric abstract elementary classes as accessible c…
In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $\Psi$, as a collection of special types of…
We show how to build primes models in classes of saturated models of abstract elementary classes (AECs) having a well-behaved independence relation: $\mathbf{Theorem.}$ Let $K$ be an almost fully good AEC that is categorical in $\text{LS}…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
We develop the theory of approximate Fra\"{i}ss\'{e} limits in the context of categories enriched over metric spaces. Among applications, we construct a generic projection on the Gurarii space and we present a simpler proof of a…
In this paper we introduce a notion of Mal'tsev object, and the dual notion of co-Mal'tsev object, in a general category. In particular, a category $\mathbb{C}$ is a Mal'tsev category if and only if every object in $\mathbb{C}$ is a…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
We consider notions of metrized categories, and then approximate categorical structures defined by a function of three variables generalizing the notion of $2$-metric space. We prove an embedding theorem giving sufficient conditions for an…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
This paper continues the study of superstability in abstract elementary classes (AECs) satisfying the amalgamation property. In particular, we consider the definition of $\mu$-superstability which is based on the local character…
Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and…
The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…
We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $\mu$. Let $\mu$ be a cardinal above the the L\"owenheim-Skolem…
We extend and improve the result of Makkai and Par\'e that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption…
We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…
The recent trend in mathematics is towards a framework of abstract mathematical objects, rather than the more concrete approach of explicitly defining elements which objects were thought to consist of. A natural question to raise is whether…
In this paper, we discuss recent results about generalized metric spaces and fixed point theory. We introduce the notion of $\eta$-cone metric spaces, give some topological properties and prove some fixed point theorems for contractive type…
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced…
We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a…