Related papers: Fibrewise nullification and the cube theorem
If $q:Y\longrightarrow{B}$ is a fibration and $Z$ is a space, then the free range mapping space $Y!Z$ has a collection of partial maps from $Y$ to $Z$ as underline space, i.e. those such maps whose domains are individual fibre of $q$. It is…
We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial…
Integrality in the Hodge theory of Calabi-Yau fourfolds is essential to find the vacuum structure and the anomaly cancellation mechanism of four dimensional F-theory compactifications. We use the Griffiths-Frobenius geometry and homological…
A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…
We prove fibrewise versions of classical theorems of Hopf and Leray-Samelson. Our results imply the fibrewise H-triviality after rationalization of a certain class of fibrewise H-spaces. They apply, in particular, to universal adjoint…
We establish conditions on a family of coproduct-preserving tt-functors $f_i\colon \mathcal{T}\to \mathcal{T}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor ideal generated by an object $x \in…
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,…
We introduce the notion of fibrewise sectional category via a Whitehead-Ganea construction. Fibrewise sectional category is the analogue of the ordinary sectional category in the fibrewise setting and also the natural generalization of the…
This work has the purpose of applying the concept of Geometric Calculus (Clifford Algebras) to the Fibre Bundle description of Quantum Mechanics. Thus, it is intended to generalize that formulation to curved spacetimes [the base space of…
We consider the algebras generated by observables in quantum field theory localized in regions in the null plane. For a scalar free field theory, we show that the one-particle structure can be decomposed into a continuous direct integral of…
We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…
We extend all known results about transferred model structures on algebraically cofibrant and fibrant objects by working with weak model categories. We show that for an accessible weak model category there are always Quillen equivalent…
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 introduce fibrewise compactifications in both the setting of locally compact Hausdorff spaces and continuous maps, and the parallel setting of $C^*$-algebras and nondegenerate multiplier-valued $*$-homomorphisms. In both situations, we…
We introduce a notion of fibred coarse embedding into Hilbert space for metric spaces, which is a generalization of Gromov's notion of coarse embedding into Hilbert space. It turns out that a large class of expander graphs admit such an…
Consider an algebraic variety $X$ over a base scheme $S$ and a faithful base change $T \to S$. Given an admissible subcategory $\CA$ in the bounded derived category of coherent sheaves on $X$, we construct an admissible subcategory in the…
In this paper we introduce the localization construction for quantales. A quantale is a complete semilattice combined with a multiplication. We mimic the notion of filter in a lattice to define multiplicative filters in a quantale, and…
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the development of the basic theory of latent fibrations and…