Related papers: Lax colimits and free fibrations in $\infty$-categ…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…
We study two kinds of functors of wrapped Fukaya categories: 1) the Viterbo restriction functor for an inclusion of a Liouville sub-domain; 2) the Lagrangian correspondence functor associated to the graph of the completion of the inclusion…
Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…
The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseudofunctors to the category of presheaves over Joyal's…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a…
Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding…
We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
We construct A-infinity functors between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. We then show that the composition of A-infinity functors for correspondences is homotopic to…
We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…
Given a monotone Lagrangian $L$ in a compact symplectic manifold $X$, we construct a commutative diagram relating the closed-open string map $\mathcal{CO}_\lambda \colon \operatorname{QH}^*(X) \to \operatorname{HH}^*(\mathcal{F}…
We study a specific class of CFTs that involve coupled free fermions, arising from parafermion CFTs and lattice constructions. We analyse their representation spaces and the underlying exclusion statistics of coupled free fermions using…
We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means…
We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax…
Generalized Cox's construction associates with an algebraic variety a remarkable invariant -- its total coordinate ring, or Cox ring. In this note we give a new proof of factoriality of the Cox ring when the divisor class group of the…
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…