Related papers: A global approach to AECs
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the…
We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an…
On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic. The claim has been proven for different classes of models such as mesh…
In this paper, motivated by symplectic topology, we explore categorical entropy and present two main results. The first result establishes a relation between categorical entropies of functors on a category and its localization.…
For a given category B we are interested in studying internal categorical structures in B. This work is the starting point, where we consider reflexive graphs and precategories (i.e., for the purpose of this note, a simplicial object…
We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…
Jacobs has proposed definitions for (weak, strong, split) generic objects for a fibered category; building on his definition of (split) generic objects, Jacobs develops a menagerie of important fibrational structures with applications to…
Part I: We would like to generalize imaginary elements, weight of ${\rm ortp}(a,M,N),{\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [Sh:c, Ch.III,V,\S4] to the context of good frames. This requires allowing the vocabulary to…
This paper is a continuation of our study of non-abelian Baues-Wirsching cohomologies. In our previous paper, we defined second non-abelian cohomology H2(C;D) of a small category C with coefficients in a so-called centralised natural system…
We introduce a new concept of s-recollements of extriangulated categories, which generalizes recollements of abelian categories, recollements of triangulated categories, as well as recollements of extriangulated categories. Moreover, some…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
We introduce $t$-Hermitian forms of arbitrary degree $k$, a natural extension of classical degree $k$ Hermitian forms obtained through a synthesis of the tensor transformation law and the $t$-product of third-order tensors. We show that…
We examine the connections between deterministic, complete, and general global optimisation of continuous functions and a general concept of regression from the perspective of constructive type theory via the concept of 'searchability'. We…
We study a number of local and global classification problems in generalized complex geometry. In the first topic, we characterize the local structure of generalized complex manifolds by proving that a generalized complex structure near a…
We present a novel semantic framework for modeling linguistic expressions of generalization---generic, habitual, and episodic statements---as combinations of simple, real-valued referential properties of predicates and their arguments. We…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as…
In analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
Some classical aspects of Metric-Affine Gravity are reviewed in the context of the $F^{(n)}(R)$ type models (polynomials of degree $n$ in the Riemann tensor) and the topologically massive gravity. At the non-perturbative level, we explore…