Related papers: On the relation between lifting obstructions and o…
We reinterpret Kim's non-abelian reciprocity maps for algebraic varieties as obstruction towers of mapping spaces of etale homotopy types, removing technical hypotheses such as global basepoints and cohomological constraints. We then extend…
The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for…
An order-theoretic generalization of Seymour relations describing the connection between the set-theoretic blocker, deletion, and contraction maps on clutters, is presented.
We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These…
This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are…
Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. This obstruction also applies to other…
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 study a relation between certain extensions of the Clifford bundle and Finsler type structures that naturally generalize the standard Clifford relation between (pseudo)-Riemannian metric structures and Dirac matrices. We show for flat…
We prove that any closed map between metrizable spaces can be extended to a closed map between completely metrizable spaces with the same extensional dimension.
We establish an inequality which gives strong restrictions on when the standard definite plumbing intersection lattice of a Seifert fibered space over $S^2$ can embed into a standard diagonal lattice, and give two applications. First, we…
Cohen, Moore, and Neisendorfer's work on the odd primary homotopy theory of spheres and Moore spaces, as well as the first author's work on the secondary suspension, predicted the existence of a p-local fibration S^2n-1 --> T --> \Omega…
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…
We study Brauer-Manin obstructions to integral points on open subsets of the projective plane.
We study the fibration of augmented link complements. Given the diagram of an augmented link we associate a spanning surface and a graph. We then show that this surface is a fiber for the link complement if and only if the associated graph…
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…
We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead…
We consider discrete metric spaces and we look for non-constant contractions. We introduce the notion of contractive map and we characterize the spaces with non-constant contractive maps. We provide some examples to discussion the possible…
In this paper, we consider an obstruction-theoretical construction of characteristic classes of fiber bundles by simplicial method. We can get a certain obstruction class for a deformation of $C_\infty$-algebra models of fibers and a…
The main result of the present paper, combined with earlier results of Hardt and Lin settles the extension problem for $W^{1,p}(\mathcal M, \mathcal N)$, where $\mathcal M$ and $\mathcal N$ are compact riemannian manfolds, $\mathcal M$…
We give an introduction to (pseudo-)Finsler geometry and its connections. For most results we provide short and self contained proofs. Our study of the Berwald non-linear connection is framed into the theory of connections over general…