Related papers: Geometric realisation as the Skorokhod semi-contin…
We explain why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set (resp. cyclic set) is equipped with an action of the group of orientation preserving homeomorphisms of the segment…
This is the same version that was previously only on my home page. We give a description of geometric realization which makes it evident that it commutes with products. A similar approach is used to treat cyclic sets. Our approach is…
By expressing the geometric realization of simplicial sets and cyclic sets as filtered colimits, Drinfeld (arXiv:math/0304064v3) proved in a substantially simplified way the fundamental facts that geometric realization preserves finite…
Given an n-dimensional substitution whose associated linear expansion is unimodular and hyperbolic, we use elements of the one-dimensional integer \v{C}ech cohomology of the associated tiling space to construct a finite-to-one…
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…
It is shown that the thin geometric realization of a simplicial Hausdorff space is Hausdorff. This proves a famous claim by Graeme Segal that the thin geometric realisation of a simplicial k-space is a k-space.
The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring $R$. Concretely, for each regular path complex $P$, we associate it with a singular $\Delta$-complex…
We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…
This paper develops a complete foundational treatment of simplicial complexes from Euclidean spaces through geometric realizations, emphasizing concrete computations, examples, and practical verification methods. Beginning with finite point…
We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any…
We show that, for a simplicial group K,the realization of the W-construction of K is naturally homeomorphic to the universal bundle of its geometric realization. The argument involves certain recursive descriptions of the W-construction and…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and…
Given an algebraic structure on the homology of a chain complex, we define its realization space as a Kan complex whose vertices are the structures up to homotopy realizing this structure at the homology level. Our algebraic structures are…
In this paper, we present a unified approach using model category theory and an associative law to compare some classic variants of the geometric realization functor.
We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…
Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…
The realizations of the basic representation of $\widehat\mathfrak{gl}_r$ are known to be parametrized by partitions of r and have an explicit description in terms of vertex operators on the bosonic/fermionic Fock space. In this paper, we…
We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…
By analogy with methods of Spivak, there is a realization functor which takes a persistence diagram $Y$ in simplicial sets to an extended pseudo-metric space (or ep-metric space) $Re(Y)$. The functor $Re$ has a right adjoint, called the…
A flow is a directed space structure on a homotopy type. It is already known that the underlying homotopy type of the realization of a precubical set as a flow is homotopy equivalent to the realization of the precubical set as a topological…