Related papers: A convenient differential category

We present an obstruction theoretic inductive construction of intersection space pairs, which generalizes Banagl's construction of intersection spaces for arbitrary depth stratifications. We construct intersection space pairs for…

We prove that the category of dg-modules and dg-algebras in a Grothendieck quasi-abelian category are endowed with a Quillen model structure. This allows some flexibility in setting up a theory of derived algebraic geometry in the infinite…

In this paper, we introduce restricted products for families of locally convex spaces and formulate criteria ensuring that mappings into such products are continuous or smooth. As a special case, can define restricted products of weighted…

Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over…

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…

In "Object generators, relaxed sets, and a foundation for mathematics", we introduced ``object generators'', a logical environment much more general than set theory. Inside this we found a `relaxed' version of set theory. That paper is…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian…

We produce group structures on certain sets of topological vector bundles of fixed rank. In particular, we put a group structure on complex rank $2$ bundles on $\mathbb{C}P^3$ with fixed first Chern class. We show that this binary operation…

We prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the…

G. Conner and K. Eda (Topology and its Applications, 146, (2005), 317-328.) introduced a new construction of spaces from groups. They remarked that the construction is not categorical. In this paper, based on the work of Conner and Eda, we…

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by…

The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frolicher spaces -beyond the regnant philosophy of manifolds-, International Journal of Pure and Applied Mathematics, 60…

Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…

We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…

We construct a model of differential K-theory, using the geometrically defined Chern forms, whose cocycles are certain equivalence classes of maps into the Grassmannians and unitary groups. In particular, we produce the circle-integration…

We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…