Mathematics - Category Theory Publications (50)


Mathematics - Category Theory Publications

Let $X$ be a quasi-compact, separated scheme over a field $k$ and we can consider the categorical resolution of singularities of $X$. In this paper let $k^{\prime}/k$ be a field extension and we study the scalar extension of a categorical resolution of singularities of $X$ and we show how it gives a categorical resolution of the base change scheme $X_{k^{\prime}}$. Our construction involves the scalar extension of derived categories of DG-modules over a DG algebra. Read More

We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (\textsc{lofs}) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. Read More

Let $\mathbb{K}$ be an infinite field. We prove that if a variety of alternating $\mathbb{K}$-algebras (not necessarily associative, where $xx=0$ is a law) is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $\mathbb{K}$. In particular, $\mathsf{Lie}_{\mathbb{K}}$ is the largest such. Read More

It is proved that a norm-decreasing homomorphism of commutative Banach algebras is an effective descent morphism for Banach modules if and only if it is a weak retract. Read More

In this short note we prove that distributors between groupoids form the bicategory of relations relative to the comprehensive factorization system. An internal version of this result is under investigation. Read More

We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode finegrained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. Read More

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has a natural numbers object. Read More

We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property. Read More

We explicitely construct an SO(2)-action on a skeletal version of the 2-dimensional framed bordism bicategory. By the 2-dimensional Cobordism Hypothesis for framed manifolds, we obtain an SO(2)-action on the core of fully-dualizable objects of the target bicategory. This action is shown to coincide with the one given by the Serre automorphism. Read More

In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg--Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Read More

We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Read More

We introduce the notion of the relative singular locus Sing$(T/S)$ of a closed subscheme $T$ of a Noetherian scheme $S$, and for a separated Noetherian scheme $X$ with an ample family of line bundles and a non-zero-divisor $W\in\Gamma(X,L)$ of a line bundle $L$ on $X$, we classify certain thick subcategories of the derived matrix factorization category DMF$(X,L,W)$ by means of specialization-closed subsets of the relative singular locus Sing$(X_0/X)$ of the zero scheme $X_0:=W^{-1}(0)\subset X$. Furthermore, we show that the spectrum of the tensor triangulated category (DMF$(X,L,W)$, $\otimes^{\frac{1}{2}}$) is homeomorphic to the relative singular locus Sing$(X_0/X)$ by using the classification result and the theory of Balmer's tensor triangular geometry. Read More

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of probability theory. Programs may use both higher-order functions and continuous distributions, or even define a probability distribution on functions. But standard probability theory cannot support higher-order functions, that is, the category of measurable spaces is not cartesian closed. Read More

A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered multiderivator) a very neat definition. This definition not only encodes all compatibilities among the six functors but also their interplay with homotopy Kan extensions. Read More

Classifying Hopf algebras of a given dimension is a hard and open question. Using the generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf algebra $H$ of dimension $16$ without the Chevalley property and the corresponding infinitesimal braidings are simple objects in $\HYD$. In particular, we figure out $8$ classes of new Hopf algebras of dimension $128$ without the Chevalley property. Read More

We give a survey of the ideas of descent and nilpotence. We focus on examples arising from chromatic homotopy theory and from group actions, as well as a few examples in algebra. Read More

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel, Kripke, Beth, Karp, Joyal, Makkai and Fourman/Grayson. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics. Read More

We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting. Read More

We investigate notions of ambiguity and partial information in categorical distributional models of natural language. Probabilistic ambiguity has previously been studied using Selinger's CPM construction. This construction works well for models built upon vector spaces, as has been shown in quantum computational applications. Read More

Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of "directed spaces", we develop a basic language of directed topology for the compositional study of algebraic theories. Read More

We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some monoidal category $\mathcal T$. Even the basic theory is interesting; it shares many characteristics with the theory of monoidal categories enriched in a symmetric monoidal category, but lacks some features. Read More

We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra $\mathcal{C}_c(\mathcal{T},A)$ which is well defined up to Morita equivalence and characterized by the fact that the category of non-degenerate modules over $\mathcal{C}_c(\mathcal{T},A)$ is equivalent to the category of sheaf of $A$-module over $\mathcal{T}$. In the case where $A$ is the sheaf of real or complex Dedekind numbers, we construct several norms on this involutive algebra that allows to complete it in various Banach and $C^*$-algebras: $L^1(\mathcal{T},A)$, $C^*_{red}(\mathcal{T},A)$ and $C^*_{max}(\mathcal{T},A)$. Read More

Entwined modules over cowreaths in a monoidal category are introduced. Monoidal cowreaths can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. Read More

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is defined intrinsically in the language of DG-categories and requires no complex machinery or sign conventions of A-infinity categories. Read More

This short introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. After a chapter introducing the basic definitions, separate chapters present three ways of expressing universal properties: via adjoint functors, representable functors, and limits. Read More

We study vector bundles over Lie groupoids and their induced geometric objects over differentiable stacks. We establish a fundamental theorem that characterizes VB-Morita maps in terms of fiber and basic data, and prove the Morita invariance of VB-cohomology, with implications to deformation cohomology. We also discuss applications to Poisson geometry via Marsden-Weinstein reduction and the integration of Dirac structures. Read More

A decomposition space (also called unital 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses (up to homotopy) composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In the present contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. Read More

Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial complex whose $2$-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, the homotopy of this complex can be characterized in term of confluence diagrams induced by the critical branchings of the rewriting system. Read More

It has been proved by Bergh and Thaule that the higher mapping cone axiom is equivalent to the higher octahedral axiom for n-angulated categories. In this note, we use homotopy cartesian diagrams to give several new equivalent statements of the higher mapping cone axiom, which are applied to explain the higher octahedral axiom. Read More

The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $\mu$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Read More

Let $\mathscr{C}$ be an additive category with an involution $\ast$. Suppose that $\varphi : X \rightarrow X$ is a morphism of $\mathscr{C}$ with core inverse $\varphi^{\co} : X \rightarrow X$ and $\eta : X \rightarrow X$ is a morphism of $\mathscr{C}$ such that $1_X+\varphi^{\co}\eta$ is invertible. Let $\alpha=(1_X+\varphi^{\co}\eta)^{-1},$ $\beta=(1_X+\eta\varphi^{\co})^{-1},$ $\varepsilon=(1_X-\varphi\varphi^{\co})\eta\alpha(1_X-\varphi^{\co}\varphi),$ $\gamma=\alpha(1_X-\varphi^{\co}\varphi)\beta^{-1}\varphi\varphi^{\co}\beta,$ $\sigma=\alpha\varphi^{\co}\varphi\alpha^{-1}(1_X-\varphi\varphi^{\co})\beta,$ $\delta=\beta^{\ast}(\varphi^{\co})^{\ast}\eta^{\ast}(1_X-\varphi\varphi^{\co})\beta. Read More

Let $\mathcal{B}$ be a subcategory of a given category $\mathcal{D}$. Let $\mathcal{B}$ has monoidal structure. In this article, we discuss when can one extend the monoidal structure of $\mathcal{B}$ to $\mathcal{D}$ such that $\mathcal{B}$ becomes a sub monoidal category of monoidal category $\mathcal{D}$. Read More

In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical $(\omega,p)$-categories for all $p \geq 0$. In particular we recover in a more explicit fashion the equivalence between globular and cubical groupoids proven by Brown and Higgins. Read More

We show that the theory of quasicategories embeds in that of prederivators, in that there exists a simplicial functor from quasicategories to prederivators and strict morphisms which is an equivalence onto its image. Thus no information need be lost in the passage from quasicategories to prederivators, in contrast to the apparent lesson of previous work on the subject, and a certain class of prederivators can serve as an axiomatization of homotopy theories or $(\infty,1)$-categories. Read More

We show that if a (not necessarily algebraic) triangulated category T contains an admissible hereditary abelian subcategory H, then we can lift the inclusion of H into T to a fully faithful triangle functor from the whole of the bounded derived category of H to T. This allows us prove, for example, that a triangulated category T is triangle equivalent to the bounded derived category of an hereditary abelian category if and only if T admits a split, bounded t-structure. Read More

Convergent rewriting systems are well-known tools in the study of the word-rewriting problem. In particular, a presentation of a monoid by a finite convergent rewriting system gives an algorithm to decide the word problem for this monoid. Squier proved that there exists a finitely presented monoid whose word problem was decidable but which did not admit a finite convergent presentation. Read More

For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly. Read More

We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range of tools that comes with a Quillen homology theory, such as long exact sequences (transitivity) and excision isomorphisms (flat base change). Read More

We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions. Read More

Module structures of an algebra on a fixed finite dimensional vector space form an algebraic variety. Isomorphism classes correspond to orbits of the action of an algebraic group on this variety and a module is a degeneration of another if it belongs to the Zariski closure of the orbit. Riedtmann and Zwara gave an algebraic characterisation of this concept in terms of the existence of short exact sequences. Read More

A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$ to $B$, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (separately continuous maps or maps preserving restricted joins in the two components) into complete lattices. Read More

Algebraic quantum field theory is considered from the perspective of a Hochschild cohomology bicomplex, suggesting a generalization. The Hochschild cohomology class associated to an interaction is constructed. This suggests an alternative to the algebraic adiabatic limit in perturbative algebraic quantum field theory. Read More

We generalize Franz independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit object is an initial object, in which case the inclusions can be defined starting from the tensor category alone. We define categorial L\'evy processes on every tensor categoriy with initial unit object and present a construction generalizing the reconstruction of a L\'evy process from its convolution semigroup via the Daniell-Kolmogorov theorem. Read More

We prove the following generalization of a classical result of Adams: for any pointed and connected topological space $(X,b)$, that is not necessarily simply connected, the cobar construction of the differential graded (dg) coalgebra of normalized singular chains in $X$ with vertices at $b$ is weakly equivalent as a differential graded associative algebra (dga) to the singular chains on the Moore based loop space of $X$ at $b$. We deduce this statement from several more general categorical results of independent interest. We construct a functor $\mathfrak{C}_{\square_c}$ from simplicial sets to categories enriched over cubical sets with connections which, after triangulation of their mapping spaces, coincides with Lurie's rigidification functor $\mathfrak{C}$ from simplicial sets to simplicial categories. Read More

We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right exact functors to the identity functor, regarded as a left exact functor, gives a Nakayama functor. Read More

In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicial sets to induce an equivalence at the level of homotopy categories. We then apply this result to strict $n$-categories and augmented directed complexes, for which the hypothesis of our theorem were established by Ara and Maltsiniotis. Read More

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are precisely the finite-injectivity classes. We prove a $2$-duality between the $2$-category of small exact categories and the $2$-category of definable categories, and provide a new proof of its additive version. Read More

We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way, thus providing a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science. Read More

In this note we prove Yosida duality --- that is: the category of compact Hausdorff spaces with continuous maps is dually equivalent to the category of uniformly complete Archimedean Riesz spaces with distinguished units and unit-preserving Riesz homomorphisms between them. Read More

We present a formal introduction to the theory of generalized categories (Schoenbaum 2016). We describe functors, equivalences, natural transformations, adjoints, and limits in the generalized setting. Read More