Related papers: Dependent products and 1-inaccessible universes

This contribution inquires into Clausius' proposal that "the entropy of the world tends to a maximum.'" The question is raised whether the entropy of "the world" actually does have a maximum; and if the answer is "Yes!," what such states of…

The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…

In this note a notion of generalized topological entropy for arbitrary subsets of the space of all sequences in a compact topological space is introduced. It is shown that for a continuous map on a compact space the generalized topological…

Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its \'{e}tale topos defines a fully faithful functor from the localization of…

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

A thorough classification of the topologies of compact homogeneous universes is given except for the hyperbolic spaces, and their global degrees of freedom are completely worked out. To obtain compact universes, spatial points are…

Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to…

For the minimally coupled scalar field in Einstein's theory of gravitation we look for the space of solutions within the class of closed Friedmann universe models. We prove that D = 1 or D > 1, where D is the (fractal) dimension of the set…

Let $\mathscr X$ be an $\infty$-topos, for example the $\infty$-category of simplicial sheaves on a Grothendieck site. Then $\infty$-group sheaves are group objects in $\mathscr X$. Let $A\in\mathrm{Grp}\mathscr X$ be such a group object.…

In the theory of Teichm\"uller space of Riemann surfaces, we consider the set of Riemann surfaces which are quasiconformally equivalent. For topologically finite Riemann surfaces, it is quite easy to examine if they are quasiconformally…

We define filter quotients of $(\infty,1)$-categories and prove that filter quotients preserve the structure of an elementary $(\infty,1)$-topos and in particular lift the filter quotient of the underlying elementary topos. We then…

When general relativity is augmented by quadratic gravity terms, it becomes a renormalisable theory of gravity. This theory may admit a non-Gaussian fixed point as envisaged in the asymptotic safety program, rendering the theory trustworthy…

The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…

Many cosmological models assume or imply that the total size of the universe is very large, perhaps even infinite. Here we argue instead that the universe might be comparatively small, in fact not much larger than the currently observed…

Previous work on applications of Abstract Differential Geometry (ADG) to discrete Lorentzian quantum gravity is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein,…

Recently Gerard 't Hooft proposed a structure for a universe overwhelmed with a control by a Theory of Everything (arXiv:1709.02874). He concludes, among many other things, that such a universe could be fully deterministic and that,…

Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…

We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…

Recent observations suggest that the ratio of the total density to the critical density of the universe, $\Omega_0$, is likely to be very close to one, with a significant proportion of this energy being in the form of a dark component with…

Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the…