Related papers: On h-Fibrations

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to…

We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…

We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…

The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ \pi_{n}(S,s_{o}) $ of total spaces of fibrations).…

Let $G$ be a finite group and $\mathcal{H}$ be a family of subgroups of $G$ which is closed under conjugation and taking subgroups. Let $B$ be a $G$-$CW$-complex whose isotropy subgroups are in $\mathcal{H}$ and let $\mathcal{F}= \{F_H\}_{H…

In this paper, we introduce and study sequential versions of several fibrewise homotopy invariants, including parametrized topological complexity, parametrized (subspace) homotopic distance. We investigate their basic properties, establish…

This paper provides further investigation of the concept of shape m$_{\rm simpl}$-fibrators (previously introduced by the author). The main results identify shape m$_{\rm simpl}$-fibrators among direct products of Hopfian manifolds. First…

In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…

In [BaSc2] the authors introduced a much weaker homotopical structure than a model category, called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure…

This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…

In this paper, we prove that certain spherical fibrations over certain CW-complexes are stably fibre homotopy equivalent to $\mm{TOP}$-spherical fibrations (see Definition 1,1). Applying this result, we get a sufficient condition for…

We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this…

We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…

We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

We consider the topological category of $h$-cobordisms between manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…