Related papers: Hurewicz fibrations in elementary toposes

We introduce invariants of Hurwitz equivalence classes with respect to arbitrary group $G$. The invariants are constructed from any right $G$-modules $M$ and any $G$-invariant bilinear function on $M$, and are of bilinear forms. For…

Based on recent advances in fibration symmetry theory, we investigate how structural symmetries influence synchronization in systems with higher-order interactions (HOI). Using bipartite graph representations, we identify a node partition…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…

We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as…

According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover…

In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

In this article, we characterize isomorphism classes of Lefschetz fibrations with multisections via their monodromy factorizations. We prove that two Lefschetz fibrations with multisections are isomorphic if and only if their monodromy…

A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by…

The main goal of this paper is to introduce the notion of a primitive form for a generic family of Hurwitz covers of $\mathbb{P}^1$ with a fixed ramification profile over infinity. We prove that primitive forms are in one-to-one…

We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of…

The main aim of this paper is to provide a description of neighbourhood operators in finitely complete categories with finite coproducts and a proper factorisation system such that the semilattice of admissible subobjects make a…

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

In this paper, we introduced $\alpha$-Hurewicz $\&$ $\theta$-Hurewicz properties in a topological space $X$ and investigated their relationship with other selective covering properties. We have shown that for an extremally disconnected…

There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…

Guillet and Soul\'e have shown that, for a fibration $\pi: Y \to X$ with fibre $Z$, locally trivial in the Zariski topology, we have a decomposition \[ [Y] = [X] \cdot [Z], \] where $[\cdot]$ denotes a class in the Grothendieck group…

We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for…

Let k be a field. We attach a CW-complex to any Schurian k-category and we prove that the fundamental group of this CW-complex is isomorphic to the intrinsic fundamental group of the k-category. This extends previous results by J.C.…