Related papers: Perfectoid Diamonds and n-Awareness. A Meta-Model …
To any triangulated category with tensor product $(K,\otimes)$, we associate a topological space $Spc(K,\otimes)$, by means of thick subcategories of $K$, a la Hopkins-Neeman-Thomason. Moreover, to each open subset $U$ of $Spc(K,\otimes)$,…
This work explores the hypothesis that subjectively attributed meaning constitutes the phenomenal content of conscious experience. That is, phenomenal content is semantic. This form of subjective meaning manifests as an intrinsic and…
We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories,…
We propose a Bayesian generative model for incorporating prior domain knowledge into hierarchical topic modeling. Although embedded topic models (ETMs) and its variants have gained promising performance in text analysis, they mainly focus…
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of…
S.A. Solovyov (2008) has recently introduced the notion of a Q-topological space (and Q-continuous maps between them), where Q is a fixed member of a variety of Omega-algebras, which in turn gives rise to the category Q-TOP of such spaces.…
We propose a new interpretation of measures of information and disorder by connecting these concepts to group theory in a new way. Entropy and group theory are connected here by their common relation to sets of permutations. A combinatorial…
Motivated by recent work suggesting observably large spacetime fluctuations in the causal development of an empty region of flat space, we conjecture that these metric fluctuations can be quantitatively described in terms of a conformal…
We study non-interacting electrons in disordered one-dimensional materials which exhibit a spectral gap, in each of the ten Altland-Zirnbauer symmetry classes. We define an appropriate topology on the space of Hamiltonians so that the…
We discuss information-theoretic concepts on infinite-dimensional quantum systems. In particular, we lift the smooth entropy formalism as introduced by Renner and collaborators for finite-dimensional systems to von Neumann algebras. For the…
This paper begins with a review of the well-known KdV hierarchy, the $N$-th Novikov equation, and its finite hierarchy in the classical commutative case. This finite hierarchy consists of $N$ compatible integrable polynomial dynamical…
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…
This article defines a partial order structure to study the relationship between levels and contents of conscious subjective experience in a single mathematical set-up. We understand phenomenal structure as extrapolated relationships among…
Kendall-type Shape(-and-Scale) Theory on $\mathbb{R}^d$ involves $N$ point configurations therein quotiented by some geometrically meaningful automorphism group. This occurs in Shape Statistics, the Classical and Quantum $N$-body Problem…
We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…
We establish a categorical framework relating two canonical model constructions in first-order logic: the Henkin construction and compactness-based constructions via ultraproducts or saturation. By introducing a globally fixed set of Henkin…
Among the various forms of reasoning studied in the context of artificial intelligence, qualitative reasoning makes it possible to infer new knowledge in the context of imprecise, incomplete information without numerical values. In this…
In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of $\infty$-operads, the other of which is…