Related papers: A limit lifting theorem for fibrations between bic…

We study a natural generalization of inverse systems of finite regular covering spaces. A limit of such a system is a fibration whose fibres are profinite topological groups. However, as shown in a previous paper (Conner-Herfort-Pavesic:…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…

We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…

For every fibration $f : X \to B$ with $X$ a compact K\"ahler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.

We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis,…

We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow equipments', and it is shown that the two…

The Godement cosimplicial resolution is available for a wide range of categories of sheaves. In this paper we investigate under which conditions of the Grothendieck site and the category of coefficients it can be used to obtain fibrant…

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…

We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

The subject of the present paper is Grothendieck's Lefschetz standard conjecture $B(X)$. Our main result is that, if $X$ is a projective smooth variety of dimension $n$ and the conjecture $B({\cal Y})$ holds for the generic fibre ${\cal Y}$…

We prove that the r-th pluricanonical maps of threefolds of general type have birationally bounded fibers if $r\geqslant 2$. Similarly, we prove that the r-th pluricanonical maps of fourfolds of general type have birationally bounded fibers…

Given a Q-Cartier divisor $S \subset X$ admitting a fibration $S \rightarrow B$ onto a curve we give sufficient conditions for the existence of a bimeromorphic contraction contracting S onto B. As a corollary we recover a contraction result…

We define $\mathcal{H}$-fibration sequences as fibrations where the holonomy action of the fundamental group of the base on the fiber lies in a given subgroup $\mathcal{H}$ of $\mathcal{E}(F)$, where $\mathcal{E}(F)$ is the homotopy…

For a complex surface of general type with a relatively minimal genus 2 fibration, the bounds of the orders of the automorphism group of the fibration, of its abelian subgroups and of its cyclic subgroups are determined as linear functions…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…