Related papers: Pullbacks in tangent categories and tangent displa…

We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler…

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also…

Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…

Drazin inverses are a fundamental algebraic structure which have been extensively deployed in semigroup theory, ring theory, and matrix theory. Drazin inverses can also be defined for endomorphisms in any category. However, beyond a paper…

In this paper we consider a manifold with a dynamical vector field and inquire about the possible tangent bundle structures which would turn the starting vector field into a second order one. The analysis is restricted to manifolds which…

Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…

In this paper we continue the study of triangular matrix categories $\mathbf{\Lambda}=\left[ \begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix}\right]$ initiated in [21]. First, given an additive category $\mathcal{C}$…

The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…

For each object in a tensor triangulated category, we construct a natural continuous map from the object's support---a closed subset of the category's triangular spectrum---to the Zariski spectrum of a certain commutative ring of…

The existence of a finite global attractor for polynomial curve system has been known since the work of Belk et al. [4]. However, except in the hyperbolic case, the rate at which the pullback of a curve under a polynomial converges to the…

Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual…

Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…

We show that an analogue of the Ball-Box Theorem for step 2, completely non-integrable bundles from smooth sub-Riemannian geometry hold true for a class of non-differentiable tangent subbundles that satisfy a geometric condition. In the…

We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces.

The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert…

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…

In this paper we use 3-manifold techniques to illuminate the structure of the category of tangles. In particular, we show that every idempotent morphism $A$ in such a category naturally splits as $A=B\circ C$ such that $C\circ B$ is an…

This paper introduces $\infty$- and $n$-fold vector bundles as special functors from the $\infty$- and $n$-cube categories to the category of smooth manifolds. We study the cores and "n-pullbacks" of $n$-fold vector bundles and we prove…

With a view towards applications in the theory of infinite-dimensional representations of finite-dimensional Lie supergroups, we introduce a new category of supermanifolds. In this category, supermanifolds of `maps' and `fields' (fibre…

Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module…