范畴论
We study localizations of infinity categories that remain localizations after any base change.
This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…
A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.
Motivated by the Grothendieck construction, we study the functorialities of the comma construction for strict $\omega$-categories. To state the most general functorialities, we use the language of Gray $\omega$-categories, that is,…
We study generalized automata (in the sense of Ad\'amek-Trnkov\'a) in Joyal's category of (set-valued) combinatorial species, and as an important preliminary step, we study coalgebras for its derivative endofunctor $\partial$ and for the…
We introduce Displayed Type Theory (dTT), a multi-modal homotopy type theory with discrete and simplicial modes. In the intended semantics, the discrete mode is interpreted by a model for an arbitrary $\infty$-topos, while the simplicial…
In this paper we show that if $\mathscr{C}$ is a category and if $F\colon\mathscr{C}^{\operatorname{op}} \to \mathfrak{Cat}$ is a pseudofunctor such that for each object $X$ of $\mathscr{C}$ the category $F(X)$ is a tangent category and for…
In operator-algebraic AQFT one routinely moves back and forth between two kinds of structure: inclusions of local algebras coming from inclusions of regions, and bimodules/intertwiners that implement the standard $L^2$-based constructions…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
A new approach to the semantics of identity types in intensional Martin-L\"of type theory is proposed, assuming only a category with finite limits and an interval. The specification of \emph{extensional} identity types in the original…
We provide two representations of the Segal category $\mathcal{X}$ modeling natural phenomena, the first one being based on the concept of micro-reversibility, producing a long sequence $\Sigma$ of categories as a resolution of…
We give a complete proof of the B\'enabou-Roubaud monadic descent theorem using the graphical calculus of string diagrams. Our proof links the monadic and Grothendieck's original viewpoint on descent via an internal-category-based…
In this paper, we build double theories capturing the idea of nondeterministic behaviors and trajectories. Following Libkind and Myers' Double Operadic Theory of Systems, we construct monoidal semi double categories of interfaces, along…
We initiate a program aimed at classifying thick ideals, Balmer spectra, and submodule categories of various stable categories of bimodules and modules for finite dimensional selfinjective algebras, and at clarifying the relationship…
We show the vanishing of higher extension groups and torsion groups between linearisation of additive functors from a semi-additive category satisfying some conditions to a category of vector spaces. In particular, we apply our results to…
We introduce string diagrams for graded symmetric monoidal categories. Our approach includes a definition of graded monoidal theory and the corresponding freely generated syntactic category. Also, we show how an axiomatic presentation for…
We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…
We give a concise, conceptual proof of the universality of the relative Rezk nerve, due to Mazel-Gee.
We introduce the abstract setting of presheaf category on a thick category of cubes. Precubical sets, symmetric transverse sets, symmetric precubical sets and the new category of (non-symmetric) transverse sets are examples of this…
For any compactly generated triangulated category we introduce two topological spaces, the shift-spectrum and the shift-homological spectrum. We use them to parametrise a family of thick subcategories of the compact objects, which we call…