Related papers: Internal Categoricity and the Generic Multiverse
The notion that there are many "universes" with different properties is one answer to the question of "why is the universe so hospitable to life?" This notion also naturally follows from current ideas in eternal inflation and string/M…
Measures in the context of Category Theory lead to various relations, even differential relations, of categories that are independent of the mathematical structure forming objects of a category. Such relations, which are independent of…
In recent years philosophers of science have explored categorical equivalence as a promising criterion for when two (physical) theories are equivalent. On the one hand, philosophers have presented several examples of theories whose…
The purpose of this paper is to provide a very short proof of a generalized categorified version, within the motivic stable homotopy category of Morel and Voevodsky, of the integral identity for virtual motives conjectured by Kontsevich and…
Metatheorems about type theories are often proven by interpreting the syntax into models constructed using categorical gluing. We propose to use only sconing (gluing along a global section functor) instead of general gluing. The sconing is…
Motivated by the definition of Freiman homomorphism, we explore the possibilities of formulating some basic notions and techniques of additive combinatorics in a categorical language. We show that additive sets and Freiman homomorphisms…
An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some…
The theory of natural dualities provides a well-developed framework for studying Stone-like dualities induced by an algebra $\mathbf{L}$ which acts as a dualizing object when equipped with suitable topological and relational structure. The…
Cosmological models that invoke a multiverse - a collection of unobservable regions of space where conditions are very different from the region around us - are controversial, on the grounds that unobservable phenomena shouldn't play a…
We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated…
Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability…
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$…
In this paper, we introduce the notion of a von Neumann category, as a generalization and categorification of von Neumann algebra. A von Neumann category is a premonoidal category with compatible dagger structure which embeds as a double…
Understanding realistic complex systems requires confronting significant conceptual, theoretical and experimental limitations rooted in the persistence of views that originated in the mechanics of simple moving bodies. We define the…
Category theory provides an alternative to Hilbert's Formal Axiomatic method and goes beyond Mathematical Structuralism
Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to…
A generalization of the classical statistics ``maj'' and ``inv'' (the major index and number of inversions) on words is introduced, parameterized by arbitrary graphs on the underlying alphabet. The question of characterizing those graphs…
We suggest a concept of generalized `angles' in arbitrary real normed vector spaces. We give for each real number a definition of an `angle' by means of the shape of the unit ball. They all yield the well known Euclidean angle in the…