Showing papers in "arXiv: Category Theory in 2020"

On the classification of topological orders

Abstract: We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial centre. Dualizability encodes the word "topological," and we take it as the definition of "(separable) multifusion $n$-category"; triviality of the centre implements the physical principle of "remote detectability." We show that such $n$-categorical algebras are Morita-invertible (in the appropriate higher Morita category), thereby identifying topological orders with anomalous fully-extended TQFTs. We identify centreless fusion $n$-categories (i.e. multifusion $n$-categories with indecomposable unit) with centreless braided fusion $(n{-}1)$-categories. We then discuss the classification in low spacetime dimension, proving in particular that all $(1{+}1)$- and $(3{+}1)$-dimensional topological orders, with arbitrary symmetry enhancement, are suitably-generalized topological sigma models. These mathematical results confirm and extend a series of conjectures and proposals by X.G. Wen et al.

$t$-Structures with Grothendieck hearts via functor categories

Abstract: We study when the heart of a t-structure in a triangulated category $\mathcal{D}$ with coproducts is AB5 or a Grothendieck category. If $\mathcal{D}$ satisfies Brown representability, a t-structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t-cogenerating object. If $\mathcal{D}$ is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t-structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t-structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t-generating or t-cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from $\mathcal{D}$ to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in $\mathcal{D}$. This allows us to show that any standard well-generated triangulated category $\mathcal{D}$ possesses a universal such coproduct-preserving homological functor and to develop a purity theory in such triangulated categories.

External triangulation of the homotopy category of exact quasi-category

Abstract: Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

DisCoPy: Monoidal Categories in Python

Abstract: We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The library provides an intuitive syntax for defining string diagrams and monoidal functors. Its modularity allows the efficient implementation of computational experiments in the various applications of category theory where diagrams have become a lingua franca. As an example, we used DisCoPy to perform natural language processing on quantum hardware for the first time.

Internal natural transformations and Frobenius algebras in the Drinfeld center

Abstract: For M and N finite module categories over a finite tensor category C, the category Rex_C(M,N) of right exact module functors is a finite module category over the Drinfeld center Z(C). We study the internal Homs of this module category, which we call internal natural transformations. With the help of certain integration functors that map C-C-bimodule functors to objects of Z(C), we express them as ends over internal Homs and define horizontal and vertical compositions. We show that if M and N are exact C-modules and C is pivotal, then the Z(C)-module Rex_C(M,N) is exact. We compute its relative Serre functor and show that if M and N are even pivotal module categories, then Rex_C(M,N) is pivotal as well. Its internal Ends are then a rich source for Frobenius algebras in Z(C).

Open Diagrams via Coend Calculus

Abstract: Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent in terms of the monoidal category and, more importantly, how should they be composed. Examples of this situation include lenses or learners. We propose a description of these non-square boxes, which we call open diagrams, using the monoidal bicategory of profunctors. A graphical coend calculus can then be used to reason about open diagrams and their compositions.

Compositional Scientific Computing with Catlab and SemanticModels.

Abstract: Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provides abstract reasoning machinery for describing and analyzing diverse areas of math, it is a natural platform for building generic and reusable software components for scientific computing. We present Catlab.jl, which provides the category-theoretic infrastructure for this project, together with SemanticModels.jl, which leverages this infrastructure for particular modeling tasks. This approach enhances and automates scientific computing workflows by applying recent advances in mathematical modeling of interconnected systems as cospan algebras.

String Diagrams for Optics

Abstract: Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that does not generalize to other classes of optic. We present a calculus that works for all optics, not just lenses; this is done by embedding optics into their presheaf category, which naturally features string diagrams. We apply our calculus to the common case of lenses, extend it to effectful lenses, and explore how the laws of optics manifest in this setting.

Poly: An abundant categorical setting for mode-dependent dynamics

Abstract: Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous work has shown how to allow collections of machines to reconfigure their wiring diagram dynamically, based on their collective state. This notion was called "mode dependence", and while the framework was compositional (forming an operad of re-wiring diagrams and algebra of mode-dependent dynamical systems on it), the formulation itself was more "creative" than it was natural. In this paper we show that the theory of mode-dependent dynamical systems can be more naturally recast within the category Poly of polynomial functors. This category is almost superlatively abundant in its structure: for example, it has \emph{four} interacting monoidal structures $(+,\times,\otimes,\circ)$, two of which ($\times,\otimes$) are monoidal closed, and the comonoids for $\circ$ are precisely categories in the usual sense. We discuss how the various structures in Poly show up in the theory of dynamical systems. We also show that the usual coalgebraic formalism for dynamical systems takes place within Poly. Indeed one can see coalgebras as special dynamical systems---ones that do not record their history---formally analogous to contractible groupoids as special categories.

Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six

Abstract: This paper classifies Grothendieck rings of complex pivotal fusion categories of multiplicity one up to rank six, as an application of a localization approach of the Pentagon Equation and some new criteria, developed by the authors. Exactly 47 among 72 fusion rings admits a pivotal complex categorification, which turns out to be unitary. We have found 6 new Grothendieck rings.

A canonical algebra of open transition systems

Abstract: Feedback and state are closely interrelated concepts. Categories with feedback, originally proposed by Katis, Sabadini and Walters, are a weakening of the notion of traced monoidal categories, with several pertinent applications in computer science. The construction of the free such categories has appeared in several different contexts, and can be considered as state bootstrapping. We show that a categorical algebra for open transition systems, $\mathbf{Span}(\mathbf{Graph})_\ast$, also due to Katis, Sabadini and Walters, is the free category with feedback over $\mathbf{Span}(\mathbf{Set})$. Intuitively, this algebra of transition systems is obtained by adding state to an algebra of predicates, and therefore $\mathbf{Span}(\mathbf{Graph})_\ast$ is, in this sense, the canonical such algebra.

Bayesian Updates Compose Optically

Abstract: Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, we may ask whether composing the inversions of the component processes gives the same belief update as the inversion of the whole. We answer this question affirmatively, showing that the relevant compositional structure is precisely that of the lens pattern, and that we can think of Bayesian inversion as a particular instance of a state-dependent morphism in a corresponding fibred category. We define a general notion of (mixed) Bayesian lens, and discuss the (un)lawfulness of these lenses when their contravariant components are exact Bayesian inversions. We prove our main result both abstractly and concretely, for both discrete and continuous states, taking care to illustrate the common structures.

A categorical view of varieties of ordered algebras

Abstract: It is well known that classical varieties of $\Sigma$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $\Sigma$-algebras, i.e., classes presented by inequations between $\Sigma$-terms. We prove that they correspond bijectively to strongly finitary monads on $\mathsf{Pos}$. That is, those finitary monads which preserve reflexive coinserters. We deduce that strongly finitary monads have a coinserter presentation, analogous to the coequaliser presentation of finitary monads due to Kelly and Power. We also show that these monads are liftings of finitary monads on $\mathsf{Set}$.

Internal lenses as functors and cofunctors

Abstract: Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define lenses as simultaneously functors and cofunctors between categories. We show that lenses may be canonically represented as a particular commuting triangle of functors, and unify the classical state-based lenses with both c-lenses and d-lenses in this framework. This new treatment of lenses leads to considerable simplifications that are important in applications, including a clear interpretation of lens composition.

Finitary Monads on the Category of Posets

Abstract: Finitary monads on $\mathsf{Pos}$ are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analagously, finitary enriched monads on $\mathsf{Pos}$ are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.

Approximate injectivity and smallness in metric-enriched categories

Abstract: Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild smallness condition we prove the corresponding approximate-injectivity class is weakly reflective, and we study the properties of the reflection morphisms. As an application we present a new categorical proof of the essential uniqueness of the Gurarii space.

Open Systems: A Double Categorical Perspective

Abstract: Author(s): Courser, Kenny | Advisor(s): Baez, John C | Abstract: Fong has developed a compositional framework by the name of \emph{decorated cospans} that is well-suited for modeling `open' networks and systems. In this framework, open networks are seen as the morphisms of a category and can be composed as such allowing larger open networks to be built up from smaller ones. Much work has already been done in this direction, and is where the story of this dissertation starts. During the process of my first work to promote Fong's theory of decorated cospan categories to decorated cospan \emph{bicategories}, it was noticed that the morphisms which made up these decorated cospan categories had a certain unexpected and stringent characterization to them. From this observation, one of the main frameworks of the present thesis, namely `structured cospans', was conceived by John Baez. The main version of the Structured cospans framework utilizes `double categories' which are similar in flavor to bicategories in that they have a 2-dimensional structure to them. Shortly thereafter, we decided to revisit Fong's decorated cospan machinery also from the perspective of double categories to improve the original decorated cospans framework. Much work in this thesis is built on the foundations of double categories, and while working with both the structured cospans and decorated cospans frameworks, a double category of open Markov processes was also built in which `coarse-grainings' appear as 2-morphisms and are shown to be compatible with `black-boxing'.

Co-t-structures, cotilting and cotorsion pairs

Abstract: Let $\mathsf{T}$ be a triangulated category with shift functor $\Sigma \colon \mathsf{T} \to \mathsf{T}$. Suppose $(\mathsf{A},\mathsf{B})$ is a co-t-structure with coheart $\mathsf{S} = \Sigma \mathsf{A} \cap \mathsf{B}$ and extended coheart $\mathsf{C} = \Sigma^2 \mathsf{A} \cap \mathsf{B} = \mathsf{S} * \Sigma \mathsf{S}$, which is an extriangulated category. We show that there is a bijection between co-t-structures $(\mathsf{A}',\mathsf{B}')$ in $\mathsf{T}$ such that $\mathsf{A} \subseteq \mathsf{A}' \subseteq \Sigma \mathsf{A}$ and complete cotorsion pairs in the extended coheart $\mathsf{C}$. In the case that $\mathsf{T}$ is Hom-finite, $\mathbf{k}$-linear and Krull-Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\mathsf{C}$ and functorially finite torsion pairs in $\mathsf{mod}\, \mathsf{S}$.

Monoidal abelian envelopes

Abstract: We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs tensor categories in positive characteristic via tilting modules for SL(2).

Presentations for tensor categories

Abstract: We introduce new techniques for working with presentations for a large class of (strict) tensor categories. We then apply the general theory to obtain presentations for partition, Brauer and Temperley-Lieb categories, as well as several categories of (partial) braids, vines and mappings.

On the obscure axiom for one-sided exact categories

Abstract: One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${\mathcal{E}}^{\textrm{ex}}$; this embedding induces a derived equivalence $\textbf{D}^b(\mathcal{E}) \to \textbf{D}^b({\mathcal{E}}^{\textrm{ex}})$. Whereas it is well known that Quillen's obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $\mathcal{E}$ into its exact hull ${\mathcal{E}}^{\textrm{ex}}.$ In this paper, we introduce three versions of the obscure axiom (these versions coincide when the category is weakly idempotent complete) and establish equivalent homological properties, such as the snake lemma and the nine lemma. We show that a one-sided exact category admits a closure under each of these obscure axioms, each of which preserves the bounded derived category up to triangle equivalence.

Cartesian closed bicategories: type theory and coherence

Abstract: In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for cartesian closed bicategories. Cartesian closed bicategories---2-categories `up to isomorphism' equipped with similarly weak products and exponentials---arise in logic, categorical algebra, and game semantics. I show that there is at most one 2-cell between any parallel pair of 1-cells in the free cartesian closed bicategory on a set and hence---in terms of the difficulty of calculating---bring the data of cartesian closed bicategories down to the familiar level of cartesian closed categories. In fact, I prove this result in two ways. The first argument is closely related to Power's coherence theorem for bicategories with flexible bilimits. For the second, which is the central preoccupation of this thesis, the proof strategy has two parts: the construction of a type theory, and the proof that it satisfies a form of normalisation I call "local coherence". I synthesise the type theory from algebraic principles using a novel generalisation of the (multisorted) abstract clones of universal algebra, called "biclones". Using a bicategorical treatment of M. Fiore's categorical analysis of normalisation-by-evaluation, I then prove a normalisation result which entails the coherence theorem for cartesian closed bicategories. In contrast to previous coherence results for bicategories, the argument does not rely on the theory of rewriting or strictify using the Yoneda embedding. Along the way I prove bicategorical generalisations of a series of well-established category-theoretic results, present a notion of glueing of bicategories, and bicategorify the folklore result providing sufficient conditions for a glueing category to be cartesian closed.

Categorical Koszul duality

Abstract: In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor transforms the Quillen equivalence between quasicategories and simplicial categories into this Koszul duality. This allows us to give a conceptual interpretation of the dg nerve of a dg category and its adjoint. As an application, we prove that the category of representations of a quasicategory is equivalent to the coderived category of comodules over its chain coalgebra. A corollary of this is a characterization of the category of constructible dg sheaves on a stratified space as the coderived category of a certain dg coalgebra.

Adjoint functor theorems for homotopically enriched categories

Abstract: We prove a weak adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched version of Freyd's adjoint functor theorem. For non-trivial model structures, we obtain new weak adjoint functor theorems of a homotopical flavour - in particular, when $\mathcal V$ is the category of simplical sets we obtain a homotopical adjoint functor theorem appropriate to the $\infty$-cosmoi of Riehl and Verity. We also investigate accessibility in the enriched setting, in particular obtaining homotopical cocompleteness results for accessible $\infty$-cosmoi.

Categories of topological orders I

Abstract: We develop the mathematical theory of separable and unitary $n$-categories based on Gaiotto and Johnson-Freyd's theory of condensation completion. We use it to study the categories of topological orders by including gapless quantum phases and defects. In particular, we show that all the topological features of a potentially gapless quantum phase can be captured by its topological skeleton, and that the category of the topological skeletons of higher dimensional gapped/gapless quantum phases can be explicitly computed categorically from a simple coslice 1-category.

The Karoubi envelope and weak idempotent completion of an extriangulated category

Abstract: We show that the idempotent completion and weak idempotent completion of an extriangulated category are also extriangulated.

2-limits and 2-terminal objects are too different

Abstract: In ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2-categorical analogues of this theorem relating 2-limits and 2-terminal objects in the various choices of slice 2-categories of 2-cones are false. Furthermore we show that, even when weakening the 2-cones to pseudo- or lax-natural transformations, or considering bi-type limits and bi-terminal objects, there is still no such correspondence.

The Open Algebraic Path Problem

Abstract: The algebraic path problem provides a general setting for the Floyd--Warshall algorithm in optimization and computer science. This work extends the algebraic path problem to networks equipped with input and output boundaries. We show that the algebraic path problem is functorial as a mapping from a bicategory whose composition is gluing of open networks. In particular, we provide an isomorphism relating the solution of the path problem on a composite to the solutions on its components.

Examples and non-examples of integral categories and the admissible intersection property

Abstract: Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are integral. Moreover, we establish that the class of integral categories is not contained in the class of quasi-abelian categories, and that there exist semi-abelian categories that are neither integral nor quasi-abelian. In the last part of the article we show that a category is quasi-abelian if and only if it has admissible intersections, in the sense considered recently by Br{u}stle, Hassoun and Tattar. This exhibits that a rich class of non-abelian categories having this property arises naturally in functional analysis.

A Relative Theory of Interleavings

Abstract: The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset have a superlinear family of translations or a similar structure. However, many posets of interest to topological data analysis, such as zig-zag posets and the face relation poset of a cell-complex, do not admit interesting translations, and consequently don't admit a nice theory of interleavings. In this paper we show how one can side-step this limitation by providing a general theory where one maps to a poset that does admit interesting translations, such as the lattice of down sets, and then defines interleavings relative to this map. Part of our theory includes a rigorous notion of discretization or "pixelization" of poset modules, which in turn we use for interleaving inference. We provide an approximation condition that in the setting of lattices gives rise to two possible pixelizations, both of which are guaranteed to be close in the interleaving distance. Finally, we conclude by considering interleaving inference for cosheaves over a metric space and give an explicit description of interleavings over a grid structure on Euclidean space.