相关论文: Model Structures and the Oka Principle

Let X be a Stein manifold, A a closed complex subvariety of X, and f a continuous map from X to a complex manifold Y whose restriction to A is holomorphic. After a homotopic deformation of the Stein structure outside a neighborhood of A in…

Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vop\v{e}nka's principle. In this article, we prove that each of the…

This paper concerns extension of maps using obstruction theory under a non classical viewpoint. It is given a classification of homotopy classes of maps and as an application it is presented a simple proof of a theorem by Adachi about…

We put a Quillen model structure on the category of small categories enriched in simplicial $k$-modules and non-negatively graded chain complexes of $k$-modules, where $k$ is a commutative ring. The model structure is obtained by transfer…

In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.

Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…

We will prove the relative homotopy principle for smooth maps with singularities of a given {\cal K}-invariant class with a mild condition. We next study a filtration of the group of homotopy self-equivalences of a given manifold P by…

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

We state results from noncommutative deformation theory of modules over an associative $k$-algebra $A,$ $k$ a field, necessary for this work. We define a set of $A$-modules $\operatorname{aSpec}A$ containing the simple modules, whose…

Given a Stein manifold with the density property, we show that under a suitable topological condition it is possible to prescribe derivatives at a finite number of points to automorphisms depending holomorphically on a Stein parameter. This…

Our main theorem states that the complement of a compact holomorphically convex set in a Stein manifold with the density property is an Oka manifold. This gives a positive answer to the well-known long-standing problem in Oka theory whether…

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited…

Let $(E,h)$ be a semipositive hermitian holomorphic line bundle on a compact complex manifold $X$ with $\dim X>1$. Assume that for each point $x\in X$ there exists a divisor $D\in |E|$ in the complete linear system determined by $E$ whose…

This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.

Suppose that Y is a complex manifold with the property that any holomorphic map from a compact convex set in a complex Euclidean space C^n (for any n) to Y is a uniform limit of entire maps from C^n to Y. We prove that a holomorphic map…

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…