Related papers: Adjoints, wrapping, and morphisms at infinity

We construct geometric maps from the cyclic homology groups of the (compact or wrapped) Fukaya category to the corresponding $S^1$-equivariant (Floer/quantum or symplectic) cohomology groups, which are natural with respect to all Gysin and…

We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and…

The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…

Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

This paper shows that quantization of $\pi$-finite spaces, as a functor out of a higher category of spans, is equivariant in two ways: Symmetries of a given polarization/Lagrangian always induce coherent symmetries of the quantization. On…

We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an…

This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…

We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective'…

We give a universal construction of a derived affine group scheme and its representation category from a symmetric monoidal infinity-category, which we shall call the tannnakization of a symmetric monoidal infinity-category. This can be…

The categories with noninvertible morphisms are studied analogously to the semisupermanifolds with noninvertible transition functions. The concepts of regular n-cycles, obstruction and the regularization procedure are introduced and…

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…

An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a…

In universal algebraic geometry the category of the finite generated free algebras of some fixed variety of algebras and the quotient group A/Y are very important. Here A is a group of all automorphisms of this category and Y is a group of…

Given an exact relatively Pin Lagrangian embedding Q in a symplectic manifold M, we construct an A-infinity restriction functor from the wrapped Fukaya category of M to the category of modules on the differential graded algebra of chains…

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…

In part I, using the theory of $\infty$-categories, we constructed a natural ``continuous action'' of $\operatorname {Ham} (M, \omega) $ on the Fukaya category of a closed monotone symplectic manifold. Here we show that this action is…

Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…