Related papers: Constructing monoidal structures on fibered catego…
If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…
We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…
We consider the quotient of an exact or one-sided exact category $\mathcal{E}$ by a so-called percolating subcategory $\mathcal{A}$. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes $\mathcal{E}$ at…
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…
Differential categories are now an established abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: integration. This paper presents the parallel development for…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
We study the question when a $*$-autonomous Mix-category has a representation as a $*$-autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation on morphisms of a Mix-category, which we call a mixed trace,…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
We consider a type III subfactor $N\subset M$ of finite index with a finite system of braided $N$-$N$ morphisms which includes the irreducible constituents of the dual canonical endomorphism. We apply $\alpha$-induction and, developing…
This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the…
We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…
Fong developed `decorated cospans' to model various kinds of open systems: that is, systems with inputs and outputs. In this framework, open systems are seen as the morphisms of a category and can be composed as such, allowing larger open…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…
Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…
In this paper we further analyze modular invariants for subfactors, in particular the structure of the chiral induced systems of M-M morphisms. The relative braiding between the chiral systems restricts to a proper braiding on their…
In this paper, we study the fibers of "automorphic word maps", a certain generalization of word maps, on finite groups and on nonabelian finite simple groups in particular. As an application, we derive a structural restriction on finite…
Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. We consider factorizations $\Gamma\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two…
We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…