Related papers: The Synthetic Sierpi\'nski Cone

We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…

We present a survey of the two-dimensional and tensorial structure of the lifting doctrine in constructive domain theory, i.e. in the theory of directed-complete partial orders (dcpos) over an arbitrary elementary topos. We establish the…

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.…

Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…

We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance…

This research is motivated by the study of the geometry of fractal sets and is focused on uniformization problems: transformation of sets to canonical sets, using maps that preserve the geometry in some sense. More specifically, the main…

Generalised Sierpinski carpets are planar sets that generalise the well-known Sierpinski carpet and are defined by means of sequences of patterns. We study the structure of the sets at the kth iteration in the construction of the…

We prove that all Sierpi\'nski carpets in the plane are non-removable for (quasi)conformal maps. More precisely, we show that for any two Sierpi\'nski carpets $S,S'\subset \hat{\mathbb{C}}$ there exists a homeomorphism $f\colon…

We prove that if $\xi$ is a quasisymmetric homeomorphism between Sierpi\'nski carpets that are the Julia sets of postcritically-finite rational maps, then $\xi$ is the restriction of a M\"obius transformation to the Julia set. This implies…

We investigate slices of the Sierpi\'nski tetrahedron from a topological viewpoint. For each $c\in[0,1]$, we study the \v{C}ech (co)homology group of the slice at height $c$. We show that the topology of the slice exhibits a sharp…

The main goal of this paper is a detailed study of asymptotic cones of the mapping class groups. In particular, we prove that every asymptotic cone of a mapping class group has a bi-Lipschitz equivariant embedding into a product of real…

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…

This paper gives a complete classification of conics in $PE_2(\mathbb{R})$. The classification has been made earlier (Reveruk [5]), but it showed to be incomplete and not possible to cite and use in further studies of properties of conics,…

Let $G$ and $\tilde G$ be Kleinian groups whose limit sets $S$ and $\tilde S$, respectively, are homeomorphic to the standard Sierpi\'nski carpet, and such that every complementary component of each of $S$ and $\tilde S$ is a round disc. We…

Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of these in a higher version of the Zariski topos, in order to do…

The Continuum Hypothesis implies an Erd\"os-Sierpi\'nski like duality between the ideal of first category subsets of $\reals^{\naturals}$, and the ideal of countable dimensional subsets of $\reals^{\naturals}$. The algebraic sum of a…

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…

In this paper we introduce a product-like operation that generalizes the construction of generalized Sierpi\'nski graphs. Let $G,H$ be graphs and let $f: V(G) \to V(H)$ be a function. Then the Sierpi\'nski product of $G$ and $H$ with…