Related papers: Equivalences between localisations of categories p…
We show that several apparently unrelated formulas involving left or right Bousfield localizations in homotopy theory are induced by comparison maps associated with pairs of adjoint functors. Such comparison maps are used in the article to…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…
We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…
Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
Let $Covering$ be the category of the category of fuzzy coverings, and $Partition$, the category of fuzzy partitions. We geometrically construct an isomorphism of categories between $Partition$ and a full subcategory of $Covering$, which…
Our main motivation for the work presented in this paper is to construct a localization functor, in a certain sense dual to the f-localization of Bousfield and Farjoun, and to study some of its properties. We succeed in a case which is…
Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreover type isomorphism gives for free the coercion required to…
In this note, we provide some categorical perspectives on the relativization construction arising from quantum measurement theory in the presence of symmetries and occupying a central place in the operational approach to quantum reference…
In this paper we study wall-crossing functors between categories of modules over quantizations of symplectic resolutions. We prove that wall-crossing functors through faces are perverse equivalences and use this to verify an Etingof type…
The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
Inverse categories are categories in which every morphism x has a unique pseudo-inverse y in the sense that xyx=x and yxy=y. Persistence modules from topological data analysis and similarly decomposable category representations factor…
We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…
This paper shows that quantization of $\pi$-finite spaces, as a functor out of a higher category of spans, is equivariant in two ways: Symmetries of a given polarization/Lagrangian always induce coherent symmetries of the quantization. On…
The aim of this article is to describe a new perspective on functoriality of persistent homology and explain its intrinsic symmetry that is often overlooked. A data set for us is a finite collection of functions, called measurements, with a…
In this paper we present the notion of ``Deligne localized functors'', an avatar of the derived functors, whose definition is inspired by Deligne in [SGA 4,XVII]. Their definition involves the notions of Ind and Pro categories, they always…
We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism…
We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…
The relations and differences between various classification problems arising in the context of local two-dimensional conformal QFT, modular invariants, and subfactors are discussed. The extent to which locality implies modular invariance,…