Related papers: Universes for category theory
The cumulative hierarchy conception of set, which is based on the conception that sets are inductively generated from "former" sets, is generally considered a good way to create a set conception that seems safe from contradictions. This…
The Hartle-Hawking no-boundary proposal describes the quantum creation of the universe. To have a non-negligible probability to obtain a classical expanding universe, eternal inflation is required, which is severely constrained by Swampland…
EI categories can be thought of as amalgams of finite posets and finite groups and therefore the associated algebras are built up from incidence algebras and group algebras of finite groups. For this particular class of algebras we present…
It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems…
The unrestricted T-system is a family of relations in the Grothendieck ring of the category of the finite-dimensional modules of the Yangian or the quantum affine algebra associated with a complex simple Lie algebra. The unrestricted…
In this paper we prove a version of Grothendieck's section conjecture for the restriction of the universal complete curve over M_{g,n}, g > 4, to the function field k(M_{g,n}) where k is, for example, a number field. In this version, the…
In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while…
We consider the question of properly defining energy and momenta for non asymptotic Minkowskian spaces in general relativity. Only spaces of this type, whose energy, linear 3-momentum, and intrinsic angular momentum vanish, would be…
Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence…
We provide a formulation of the univalence axiom in a universe category model of dependent type theory that is convenient to verify in homotopy-theoretic settings. We further develop a strengthening of the univalence axiom, called pointed…
The mechanism of production of a large number of universes is considered. It is shown that universes with parameters suitable for creation of life are necessarily produced as a result of quantum fluctuations. Fractal structures are formed…
Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made…
In this paper, we prove one case of the conjecture given by Hernandez and Leclerc\cite{HL0}. Specifically, we give a cluster algebra structure on the Grothendieck ring of a full subcategory of the finite dimensional representations of a…
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning…
Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…
We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…
Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of…
We consider the possibility of a past and future eternal universe, constructing geodesically complete inflating, loitering, and bouncing spacetimes. We identify the constraints energy conditions in General Relativity place on the building…
Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category,…
Arrangement field theory is a theory of everything which describes all particles as different manifestations of an unique field, the gauge field Sp(12,C). All fields (bosons and fermions in three families) fill up the adjoint representation…