相关论文: On dualizable objects in monoidal bicategories, fr…

We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally…

Let $M$ be a $n$-dimensional complex manifold and $f,g:M\to M$ two distinct holomorphic self-maps. Suppose that $f$ and $g$ coincide on a globally irreducible compact hypersurface $S\subset M$. We show that if one of the two maps is a local…

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…

We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…

We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…

An interesting problem in classical differential geometry is to find methods to prove that two surfaces defined by different charts actually coincide up to position in space. In a previous paper we proposed a method in this direction for…

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

We consider the cobordism ring of involutions of a field of characteristic not two, whose elements are formal differences of classes of smooth projective varieties equipped with an involution, and relations arise from equivariant K-theory…

We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all…

We introduce a notion of Homological Projective Duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties $X$ and $Y$ in dual projective spaces are…

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…

The Deligne category of symmetric groups is the additive Karoubi closure of the partition category. It is semisimple for generic values of the parameter t while producing categories of representations of the symmetric group when modded out…

We observe that for planar graphs, the geometric duality relation generates both 2-isomorphism and abstract duality. This observation has the surprising consequence that for links, the equivalence relation defined by isomorphisms of…

Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a monoidal category of BPS line defects. Any Coulomb vacuum of such a theory can be conjecturally associated to an ``algebra of BPS…

We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $\Lambda$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian,…

We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…

An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in…

We determine the condition on a given lens space having a realization as a closure of homology cobordism over a planar surface with a given number of boundary components. As a corollary, we see that every lens space is represented as a…