Related papers: Monoidal Pull-Push I: Cocartesian Fibrations and C…
Consider a cofibrantly generated model category $S$, a small category $C$ and a subcategory $D$ of $C$. We endow the category $S^C$ of functors from $C$ to $S$ with a model structure, defining weak equivalences and fibrations objectwise but…
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…
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,…
In this paper, we prove that $h$-cofibrations between $q$-cofibrant spaces are $q$-cofibrations. We also present a number of applications, including a pushout-product property for symmetrizable cofibrations, a local-to-global gluing lemma…
We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them…
In this article, we introduce some generalized Hardy spaces on fibrations of planar domains and fibrations of products of planar domains. We consider the kernel functions on these spaces, and we prove some weighted versions of Saitoh's…
We introduce a novel notion of pasting shapes for iterated Segal spaces which classify particular arrangements of composing cells in d-uple Segal spaces. Using this formalism, we then continue to prove a pasting theorem for these iterated…
In the paper we introduce the notions of a singular fibration and a singular Seifert fibration. These notions are natural generalizations of the notion of a locally trivial fibration to the category of stratified pseudomanifolds. For…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
We study $\infty$-categories in the synthetic simplicial type theory developed by Riehl and Shulman. In particular, we define cocartesian fibrations and prove their closure properties using a novel equivalence between LARI adjunctions and…
We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…
PhD dissertation consists in three lines of investigation involving rational elliptic surfaces, namely 1) a study of conic bundles on these surfaces; 2) an investigation of the possible intersection numbers of two sections and 3) a theorem…
We study Mori fiber spaces over a two-dimensional base which satisfy the semistability assumption. As an application of our technique we give a new proof of the existence of semistable 3-fold flips.
Let $\Sigma$ be a fan inside the lattice $\mathbb{Z}^n$, and $\mathcal{E}:\mathbb{Z}^n \rightarrow \operatorname{Pic}{S}$ be a map of abelian groups. We introduce the notion of a principal toric fibration $\mathcal{X}_{\Sigma, \mathcal{E}}$…
We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical…
This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…
We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that…
The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…