相关论文: Dualities in the complicial model of $\infty$-cate…

Working within the path-integral framework we first establish a duality between the partion functions of two $U(1)$ gauge theories with a theta term in $d=4$ space-time dimensions. Then, after a dimensional reduction to $d=3$ dimensions we…

We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…

Taking matrix as a synonym for a numerical function on the Cartesian product of two (in general, infinite) sets, a simple purely algebraic "reciprocity property" says that the set of rows spans a finite-dim space iff the set of columns does…

In [Joyal] where the category $\Theta$ is first defined it is noted that the dimensional shift on $\Theta$ suggests an elegant presentation of the unreduced suspension on cellular sets. In this note we prove that the reduced suspension…

We provide a calculus of mates for functors to the $\infty$-category of $\infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do…

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

We completely describe the nucleous and the image of the application defined in [8], when all tensor products are over a field. Moreover, we study a relationship with the results obtained in [5].

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…

Given a perversity function in the sense of intersection homology theory, the method of intersection spaces assigns to certain oriented stratified spaces cell complexes whose ordinary reduced homology with real coefficients satisfies…

Lack described a Quillen model structure on the category GrayCat of Gray-categories and Gray-functors, for which the weak equivalences are the weak 3-equivalences. In this note, we adapt the technique of Gurski, Johnson, and Osorno to show…

Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor…

We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category -- are dense in the $(\infty,1)$-category…

For coalgebras $C$ over a field, we study when the categories ${}^C\Mm$ of left $C$-comodules and $\Mm^C$ of right $C$-comodules are symmetric categories, in the sense that there is a duality between the categories of finitely presented…

Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids.…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

In this partly expository paper we compare three different categories of C*-algebras in which crossed-product duality can be formulated, both for actions and for coactions of locally compact groups. In these categories, the isomorphisms…

We investigate notions of support and cosupport for differential graded (DG) modules over DG algebras. We apply these notions to identify certain classes of derived functors that are able to detect triviality and isomorphisms in derived…

We extend the duality principle for the $\Gamma$-convergence of convex lower semicontinuous functions, which was previously established only in separable reflexive Banach spaces, to the broader class of weakly compactly generated (WCG)…

Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…