Related papers: On certain 2-categories admitting localisation by …
We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…
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…
This paper studies the class group of graded integral domains. As an application, we state a decomposition theorem for class groups of semigroup rings. This recovers well-known results developed for the classic contexts of polynomial rings…
We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
The aim of this article is to introduce Vogel's localization theorem for classes of D-complexes: this generalization of Waldhausen's localization theorem is especially useful and powerful in that it gives an explicit and computable…
Let A be a commutative noetherian ring. In this paper, we interpret localizing subcategories of the derived category of A by using subsets of Spec A and subcategories of the category of A-modules. We unify theorems of Gabriel, Neeman and…
We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…
We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopenka's principle, the same happens in the regular case. The category of complete partial…
(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with…
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
Motivated by recent advances in the categorification of quantum groups at prime roots of unity, we develop a theory of 2-representations for 2-categories enriched with a p-differential which satisfy finiteness conditions analogous to those…
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…
We explicitly show that symmetric Frobenius structures on a finite-dimensional, semi-simple algebra stand in bijection to homotopy fixed points of the trivial SO(2)-action on the bicategory of finite-dimensional, semi-simple algebras,…
Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…
Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories.…
We consider notions of metrized categories, and then approximate categorical structures defined by a function of three variables generalizing the notion of $2$-metric space. We prove an embedding theorem giving sufficient conditions for an…
We prove a Bonnet theorem for isometric immersions of submanifolds into the products of an arbitrary number of simply connected real space forms. Then, we prove the existence of associated families of minimal surfaces in such products.…