Search

The field of directed type theory seeks to design type theories capable of reasoning synthetically about (higher) categories, by generalizing the symmetric identity types of Martin-L\"of Type Theory to asymmetric hom-types. We articulate the directed type theory of the category model, with appropriate modalities for keeping track of variances and a powerful directed-J rule capable of proving results about arbitrary terms of hom-types; we put this rule to use in making several constructions in synthetic 1-category theory. Because this theory is expressed entirely in terms of generalized algebraic theories, we know automatically that this directed type theory admits a syntax model and is the first step towards directed higher observational type theory.

We study localizations of infinity categories that remain localizations after any base change., Comment: 5 pages

Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are diagrammatic sets in which every round pasting diagram is equivalent to a single cell -- its weak composite -- and propose them as a model of $(\infty, \infty)$-categories. For each $n < \infty$, we then construct a model structure whose fibrant objects are those $(\infty, \infty)$-categories whose cells in dimension $> n$ are all weakly invertible. We show that weak equivalences between fibrant objects are precisely morphisms that are essentially surjective on cells of all dimensions. On the way to this result, we also construct model structures for $(\infty, n)$-categories on marked diagrammatic sets, which split into a coinductive and an inductive case when $n = \infty$, and prove that they are Quillen equivalent to the unmarked model structures when $n < \infty$ and in the coinductive case of $n = \infty$. Finally, we prove that the $(\infty, 0)$-model structure is Quillen equivalent to the classical model structure on simplicial sets. This establishes the first proof of the homotopy hypothesis for a model of $\infty$-groupoids defined as $(\infty, \infty)$-categories whose cells in dimension $> 0$ are all weakly invertible., Comment: 49 pages

We construct a (1+1)d gapless theory which has Haagerup $\mathcal{H}_3$ symmetry. The construction relies on the recent exploration of the categorical Landau paradigm applied to fusion category symmetries. First, using the Symmetry Topological Field Theory, we construct all gapped phases with Haagerup symmetry. Extending this construction to gapless phases, we study the second order phase transition between gapped phases, and determine analytically an Haagerup-symmetric conformal field theory. This is given in terms of two copies of the three-state Potts model, on which we realise the full $\mathcal{H}_3$ symmetry action and determine the relevant deformations to the $\mathcal{H}_3$-symmetric gapped phases. This continuum analysis is corroborated by a lattice model construction of the gapped and gapless phases, using the anyon chain., Comment: 11 pages + appendices, 2 figures

Let $k$ be a commutative unital ring. For a $k$-algebra $A$ with a multiplicative submodule $J$, we have a canonical subquotient algebra $\mathrm{E}_{A}(J)$ called the eigenring. In the case where $J$ is a left ideal, an adjunction exists between the category of $A$-modules and that of $\mathrm{E}_{A}(J)$-modules. The derived functors associated with this adjunction recover several well-known homological invariants, including group (co)homology and Hochschild (co)homology. The purpose of this paper is to present an extension of these constructions, where $k$-algebras are replaced with monads within a specified bicategory. This approach may be regarded as a categorification of eigenrings, given that monads in the bicategory are equivalent with $k$-linear categories. Furthermore, we generalize the aforementioned adjunction, demonstrating how the associated derived functors provide examples of functor homology. For a category $\mathcal{C}$, a module over $\mathcal{C}$ is defined as a functor from $\mathcal{C}$ to the category of $k$-modules and $k$-linear maps. In the case where $\mathcal{C}$ is either the opposite category of free groups or that of free modules over a ring $R$, specific types of modules over $\mathcal{C}$ naturally emerge within the context of algebraic topology. These include polynomial modules, analytic modules, outer modules and primitively generated modules. The majority of this paper is devoted to applying the general framework to the study of these module types. The categorification of eigenrings leads to a unified framework in which these types are characterized by certain internal data of the monad $\mathtt{L}_{\mathcal{C}}$ associated with $\mathcal{C}$. In applications, we obtain calculations of particular functor homologies and uncover new aspects of the above module types.

We give a simple, geometric and explicit construction of 3d untwisted Dijkgraaf-Witten theory with defects of all codimensions. It is given as a symmetric monoidal functor from a defect cobordism category into the category of finite-dimensional complex vector spaces. The objects of this category are oriented stratified surfaces and its morphisms are equivalence classes of stratified cobordisms, both labelled with higher categorical data. This TQFT is constructed in terms of geometric quantities such as fundamental groupoids and bundles and requires neither state sums on triangulations nor diagrammatic calculi for higher categories. It is obtained from a functor that assigns to each defect surface a representation of a gauge groupoid and to each defect cobordism a fibrant span of groupoids and an intertwiner between the groupoid representations at its boundary. It is constructed by homotopy theoretic methods and allows for an explicit computation of examples. In particular, we show how the 2d part of this defect TQFT gives a simple description of defects of all codimensions in Kitaev's quantum double model., Comment: 65 pages

Systems Biology Graphical Notation (SBGN) is a standardised notational system that visualises biochemical processes as networks. These visualizations lack a formal framework, so that the analysis of such networks through modelling and simulation is an entirely separate task, determined by a chosen modelling framework (e.g. differential equations, Petri nets, stochastic processes, graphs). A second research gap is the lack of a mathematical framework to compose network representations. The complexity of molecular and cellular processes forces experimental studies to focus on subsystems. To study the functioning of biological systems across levels of structural and functional organisation, we require tools to compose and organise networks with different levels of detail and abstraction. We address these challenges by introducing a category-theoretic formalism for biochemical processes visualised using SBGN Process Description (SBGN-PD) language. Using the theory of structured cospans, we construct a symmetric monoidal double category and demonstrate its horizontal 1-morphisms as SBGN Process Descriptions. We obtain organisational principles such as 'compositionality' (building a large SBGN-PD from smaller ones) and 'zooming-out' (abstracting away details in biochemical processes) defined in category-theoretic terms. We also formally investigate how a particular portion of a biochemical network influences the remaining portion of the network and vice versa. Throughout the paper, we illustrate our findings using standard SBGN-PD examples.

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can be defined as a sheaf on a certain site of compact Hausdorff spaces. Since condensed sets are supposed to be a generalization of topological spaces, one would like to be able to study the notion of discreteness. There are various ways to define what it means for a condensed set to be discrete. In this paper we describe them, and prove that they are equivalent. The results have been fully formalized in the Lean proof assistant.

We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,\psi)$, where $A$ is an algebra, $\mathscr C$ is a coalgebra with several objects and $\psi$ is a collection of maps that ``entwines'' $\mathscr C$ with $A$. Our objective is to prove Frobenius, separability and Maschke type theorems for functors between categories of entwined comodules and entwined contramodules.

We construct symmetric monoidal higher categories of iterated Calabi-Yau cospans, that are noncommutative analogs of iterated lagrangian correspondences. We actually give a general (and functorial) procedure that applies to iterated nondegenerate cospans on certain comma categories. This allows us to factor the AKSZ fully extended TFT associated with the moduli of objects of a Calabi-Yau category (taking values in iterated lagrangian correspondences) through a fully extended TFT taking values in iterated Calabi-Yau cospans., Comment: 35 pages. Preliminary version. Comments welcome

We propose a definition of higher inductive types in $(\infty,1)$-categories with finite limits. We show that the $(\infty,1)$-category of $(\infty,1)$-categories with higher inductive types is finitarily presentable. In particular, the initial $(\infty,1)$-category with higher inductive types exists. We prove a form of canonicity: the global section functor for the initial $(\infty,1)$-category with higher inductive types preserves higher inductive types.

In this paper, we provide a construction of a Topological Quantum Field Theory from a Non-Hermitian Ribbon Fusion Category. This is a simple method that does not involve enriching over Fusion Categories, or using other complicated structures. To substantiate this construction, we also prove theorems on the M\"uger center, braiding, and spherical structure of such a fusion category., Comment: 19 pages

We give a brief introduction to $\tau$-tilting theory [AIR]. In particular, we will see how our theory unifies two different branches of tilting theory, namely, silting theory and cluster tilting theory. We also introduce the history and recent developments., Comment: This is a short summary of our Frontiers of Science Award paper "$\tau$-tilting theory'' (Compos. Math. 2014)

We introduce a new family of oriented manifolds with boundaries called the forest biassociahedra and forest bimultiplihedra, generalizing the standard biassociahedra. They are defined as moduli spaces of ascending-descending biforests and are expected to act as parameter spaces for operations defined on Morse and Floer chains in the context of compact Lie group actions. We study the structure of their boundary, and derive some algebraic notions of ``$f$-bialgebras'', as well as related notions of bimodules, morphisms and categories. This allows us to state some conjectures describing compact Lie group actions on Morse and Floer chains, and on Fukaya categories., Comment: 40 pages, 18 figures, comments are welcome

We show how to freely add the first layer of quantifier alternation depth to a Boolean doctrine over a small base category. This amounts to a doctrinal version of Herbrand's theorem for formulas with quantifier alternation depth at most one modulo a universal theory. To achieve this, we characterize, within the doctrinal setting, the classes $A$ of quantifier-free formulas for which there is a model $M$ such that $A$ is precisely the class of formulas whose universal closure is valid in $M$., Comment: arXiv admin note: substantial text overlap with arXiv:2404.08551

Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It is known that preservation of weak pullbacks is a sufficient condition for a functor to admit a normal lax extension (the Barr extension, which in fact is then even strict); in the converse direction, nothing is currently known about necessary (weak) pullback preservation conditions for the existence of normal lax extensions. In the present work, we narrow this gap by showing on the one hand that functors admitting a normal lax extension preserve 1/4-iso pullbacks, i.e. pullbacks in which at least one of the projections is an isomorphism. On the other hand, we give sufficient conditions, showing that a functor admits a normal lax extension if it weakly preserves either 1/4-iso pullbacks and 4/4-epi pullbacks (i.e. pullbacks in which all morphisms are epic) or inverse images. We apply these criteria to concrete examples, in particular to functors modelling neighbourhood systems and weighted systems.

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the functor. For half-exact functors, the obtained sequences are exact. For general functors, nontrivial homology may only appear at the derived functors. Specializing to the familiar Hom and tensor product functors on finitely presented modules, we recover the classical formulas of Auslander. Unlike those formulas, our results hold for arbitrary rings and arbitrary modules, finite or infinite. The same formalism leads to universal coefficient theorems for homology and cohomology of arbitrary complexes. The new results are even more explicit for the cohomology of projective complexes and the homology of flat complexes., Comment: 29 pages

In this paper, we introduce the concept of a nested family of torsion pairs and will prove that this concept is strongly related to the existence of stratifying systems. Specifically, every stratifying system induces a nested family of torsion pairs. Moreover, every stratifying system can be obtained as a quotient or submodule of a module that admits a certain direct sum decomposition with respect to the nested family of torsion pairs. Additionally, we present a stratifying system of infinite size that cannot be indexed by $\mathbb{N}$., Comment: 24 pages

The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional modal logic internally in any elementary topos. This is done by constructing interior and closure operators on the power-object associated to a given relation in the ambient topos. When the relation is an order, these operators model intuitionistic S4; when the relation is an equivalence relation, they also model the characteristic (B) axiom of classical S5. The running example of interest arises from the Branching space-time of Nuel Belnap, which is shown to induce a histories presheaf upon which can be defined an equivalence relation of being obviously undivided at a given point event. These results have some philosophical implications. For example, we study the branching space-time example in light of the indistinguishability interpretation of epistemic modal logic. We will also study several famous first-order formulas in presheaf topos semantics such as the so-called Barcan formula. We shall see, however, that one of the Barcan converses is invalidated by a simple example of non-trivial space-time branching. This invalidates a thesis of metaphysical actualism, namely, that there are no possibly existing but non-actual entities.

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every 6-functor formalism. It provides powerful new insights into the internal structure of the 6-functor formalism and allows to abstractly define important finiteness conditions, recovering well-known examples from the literature. Finally, we apply our methods to the theory of smooth representations of $p$-adic Lie groups and, as an application, construct a canonical anti-involution on derived Hecke algebras generalizing results of Schneider--Sorensen. In an appendix we provide the necessary background on $\infty$-categories, higher algebra, enriched $\infty$-categories and $(\infty,2)$-categories. Among others we prove several new results on adjunctions in an $(\infty,2)$-category and in particular show that passing to the adjoint morphism is a functorial operation., Comment: 195 pages, 4 appendices. Comments welcome!

This thesis is devoted to the fields of quantum topology and rewriting theory, and their surprising interconnections. In the first part of the thesis, we develop a higher representation theoretic approach to odd Khovanov homology; this is the content of arXiv:2311.14394. One of the essential ingredients is a certain graded-2-category of graded $\mathfrak{gl}_2$-foams. In the second part of the thesis, we develop a rewriting theory suitable for higher algebras and their super or graded analogues, and use it to show a basis theorem for graded $\mathfrak{gl}_2$-foams. These techniques have the potential to be applied to a wide variety of contexts. Both parts of the thesis can be read independently. Each has its own comprehensive introduction, allowing experts from one field to get acquainted with the other field., Comment: PhD thesis, UCLouvain, 264 pages, only available in PDF

We explore semi-pre-C*-algebras in the context of rigid semisimple C*-tensor categories and using techniques from annular representations, we extend Ozawa's criterion for property (T) in groups to this context, Comment: 10 pages, many tikZ figures, comments are welcome

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 categories of diagrams in it? Our work offers several answers, providing a variety of conditions on both the category itself and the indexing category of diagrams. Additionally, motivated by homotopical considerations, we investigate the case when the indexing category is equipped with a class of weak equivalences and study conditions under which the localization map induces a structure-preserving functor between presheaf categories., Comment: 44 pages; comments welcome

We introduce effectful Mealy machines - a general notion of Mealy machine with global effects - and give them semantics in terms of both effectful bisimilarity and traces. Bisimilarity of effectful Mealy machines is characterised syntactically in terms of uniform feedback. Traces of effectful Mealy machines are given a novel semantic coinductive universe, in terms of effectful streams. We prove that effectful streams generalise a standard notion of causal process, capturing existing flavours of Mealy machine, bisimilarity, and trace., Comment: 55 pages

With a commutative integral quantale $L$ as the truth value table, this study focuses on the characterizations of the sobriety of stratified $L$-convex spaces, as introduced by Liu and Yue in 2024. It is shown that a stratified sober $L$-convex space $Y$ is a sobrification of a stratified $L$-convex space $X$ if and only if there exists a quasihomeomorphism from $X$ to $Y$; a stratified $L$-convex space is sober if and only if it is a strictly injective object in the category of stratified $S_0$ $L$-convex spaces.

(Symmetric) monoidal theories encapsulate presentations by generators and equations for (symmetric) monoidal categories. Terms of a monoidal theory are typically represented pictorially using string diagrams. In this work we introduce and study a quantitative version of monoidal theories, where instead of equality one may reason more abstractly about distance between string diagrams. This is in analogy with quantitative algebraic theories by Mardare et al., but developed in a monoidal rather than cartesian setting. Our framework paves the way for a quantitative analysis of string diagrammatic calculi for resource-sensitive processes, as found e.g. in quantum theory, machine learning, cryptography, and digital circuit theory.

Solid abelian groups, as introduced by Dustin Clausen and Peter Scholze, form a subcategory of all condensed abelian groups satisfying some ''completeness'' conditions and having favourable categorical properties. Given a profinite ring $R$, there is an associated condensed ring $\underline{R}$ which is solid. We show that the natural embedding of profinite $R$-modules into solid $\underline{R}$-modules preserves $\mathrm{Ext}$ and tensor products, as well as the fact that profinite rings are analytic., Comment: 27 pages

We identify general conditions, formulated using the projection formula morphisms, for a functor that is simultaneously left and right adjoint to a strong monoidal functor to be a Frobenius monoidal functor. Moreover, we identify stronger conditions for the adjoint functor to extend to a braided Frobenius monoidal functor on Drinfeld centers building on our previous work in [arXiv:2402.10094]. As an application, we construct concrete examples of (braided) Frobenius monoidal functors obtained from morphisms of Hopf algebras via induction., Comment: v2: some typos were corrected (introduction)

This is the fourth installment in a series of papers offering models of hierarchical structure for dynamical systems, using the language of polynomial functors. The operad underlying the symmetric monoidal category $(\mathbf{Poly}, \otimes, \mathcal{y})$ can be viewed as defining the behavior of hierarchical delegation. In particular, a morphism $\mathbf{Poly}(p_1 \otimes \cdots \otimes p_m, q)$ turns the outputs of subordinates with interfaces $p_i$ into the output of an agent with interface $q$ and turns a task given to the agent into a task for each of the subordinates. In this article, we extend the framework so that subordinates may be invoked asynchronously depending on the outcomes of other subordinates. We prove that the free (co)monad (co)monad extends to a (co)monad on $\mathbf{Org}$. From the perspective of programs/pattern, this extension implies the existence of a $\mathbf{Cat}$-enriched operad $\mathbf{Org}_\mathfrak{m}$, and from the perspective of behavior/matter, it implies the existence of a $\mathbf{Cat}$-enriched operad $\mathbf{Org}^\mathfrak{c}$. Second, we crispen the relationship between the programmatic and behavioral perspectives via a functor $[-, t] \colon \mathbf{Org}_{\mathfrak{m}}^\textrm{op} \to \mathbf{Org}^\mathfrak{c}$ for any polynomial monad $t$., Comment: 26 pages, 5 figures

The arrows of a category are elements of particular sets, the hom-sets. These sets are functorial, and their functoriality specifies how to compose the arrows with other arrows of the same category. In particular, it allows to form diagrams, making many abstract concepts graphically visible. Presheaves and set-valued functors, in general, are not representable, and so their elements are not arrows in the usual sense. They can however still be seen as "arrow-like structures", which can be post-composed but not pre-composed (for the case of set functors), or pre-composed but not post-composed (for the case of presheaves). Therefore, we can still represent their structure graphically. In this exposition we show how to draw and interpret these generalized diagrams, and how to use them to prove theorems. We will then study in detail, and represent graphically, a few concepts of category theory which are often considered hard to visualize: representability, weighted limits and colimits, and Cauchy completion (for unenriched categories). We also sketch how to interpret the more general case of profunctors, and the Day convolution of presheaves., Comment: 90 pages (of mostly diagrams)

Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded in Haskell., Comment: in French language, Conference SMT 2023

We consider a closed symmetric monoidal category $\mathcal{M}$. We show that if $I$ is a small category then $\mathcal{M}^I$ is a closed $\mathcal{M}$-module. We rewrite the Yoneda Lemma in the case of monoidal valued functors. We derive an adjoint functor theorem and we show that $\mathcal{M}^I$ is a closed symmetric monoidal category, Comment: in French language, Expos\'e aux s\'eminaires de LATAO, Facult\'e des Sciences De Tunis, 8-3-2018

The basic concepts in category theory are representables, adjoints, limits, and monads. In this talk, we define the notion of a Kan extension and show that this notion encompasses these concepts., Comment: in French language, Conference, Expos\'e aux s\'eminaires de laboratoire LATAO, Facult\'e des Sciences de Tunis, Jeudi 18-2-2021

We present a type theory called fibrational virtual double type theory (FVDblTT) designed specifically for formal category theory, which is a succinct reformulation of New and Licata's Virtual Equipment Type Theory (VETT). FVDblTT formalizes reasoning on isomorphisms that are commonly employed in category theory. Virtual double categories are one of the most successful frameworks for developing formal category theory, and FVDblTT has them as a theoretical foundation. We validate its worth as an internal language of virtual double categories by providing a syntax-semantics duality between virtual double categories and specifications in FVDblTT as a biadjunction., Comment: 36 pages

The question of how certain arithmetical conditions on the sizes of conjugacy classes of a finite group influence the group structure was extensively studied in the last decade. In this paper we study some analogue of these properties for fusion categories., Comment: 20 pp

Given a local $\otimes$-triangulated category, and a fiber sequence $y\to 1 \to x$, one may ask if there is always a nonzero object $z$ such that either $z\otimes f$ or $z\otimes g$ is $\otimes$-nilpotent. The claim that this property holds for all local $\otimes$-triangulated categories is equivalent to Balmer's "nerves of steel conjecture" from arXiv:2001.00284. In the present paper, we will see how this property can fail if the category we start with is not rigid, discuss a large class of categories where the property holds, and ultimately prove that the nerves of steel conjecture is equivalent to a stronger form of this property., Comment: 16 pages, comments very welcome!

Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological setting by MacPherson, Treumann, Lurie, and others, and recently also for \'etale and pro-\'etale sheaves by Barwick--Glasman--Haine and Wolf. The proof of the \'etale exodromy theorem is long and technical, using many new definitions and constructions in the $(\infty,2)$-category of $\infty$-topoi. This paper gives a quick proof of the \'etale exodromy theorem for constructible sheaves of sets (with respect to a fixed stratification), in the style of Grothendieck's Galois theory., Comment: 11 pages. Comments welcome

Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on $K$-theory. Here we categorify the splitting principle and generalize it to the context of 2-rigs. A 2-rig is a kind of categorified "ring without negatives", such as a category of vector bundles with $\oplus$ as addition and $\otimes$ as multiplication. Technically, we define a 2-rig to be a Cauchy complete $k$-linear symmetric monoidal category where $k$ has characteristic zero. We conjecture that for any suitably finite-dimensional object $r$ of a 2-rig $\mathsf{R}$, there is a 2-rig map $E \colon \mathsf{R} \to \mathsf{R'}$ such that $E(r)$ splits as a direct sum of finitely many "subline objects" and $E$ has various good properties: it is faithful, conservative, essentially injective, and the induced map of Grothendieck rings $K(E) \colon K(\mathsf{R}) \to K(\mathsf{R'})$ is injective. We prove this conjecture for the free 2-rig on one object, namely the category of Schur functors, whose Grothendieck ring is the free $\lambda$-ring on one generator, also known as the ring of symmetric functions. We use this task as an excuse to develop the representation theory of affine categories - that is, categories enriched in affine schemes - using the theory of 2-rigs., Comment: 47 pages

The unprecedented pace of machine learning research has lead to incredible advances, but also poses hard challenges. At present, the field lacks strong theoretical underpinnings, and many important achievements stem from ad hoc design choices which are hard to justify in principle and whose effectiveness often goes unexplained. Research debt is increasing and many papers are found not to be reproducible. This thesis is a survey that covers some recent work attempting to study machine learning categorically. Category theory is a branch of abstract mathematics that has found successful applications in many fields, both inside and outside mathematics. Acting as a lingua franca of mathematics and science, category theory might be able to give a unifying structure to the field of machine learning. This could solve some of the aforementioned problems. In this work, we mainly focus on the application of category theory to deep learning. Namely, we discuss the use of categorical optics to model gradient-based learning, the use of categorical algebras and integral transforms to link classical computer science to neural networks, the use of functors to link different layers of abstraction and preserve structure, and, finally, the use of string diagrams to provide detailed representations of neural network architectures., Comment: In the previous version of the survey, it was stated that the paper "Pooling Image Datasets with Multiple Covariate Shift and Imbalance" (Chytas, Lokhande, Singh) had been withdrawn by the authors. I have been informed that only an incomplete draft of the work was withdrawn after it was inadvertently uploaded. The complete work was actually published at ICLR and has never been withdrawn

This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique maximal $n$-exact structure. We achieve this by constructing a bijection between $n$-exact structures on a category and certain subcategories of its functor category following ideas of Enomoto., Comment: 18 pages, comments are very welcome!

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manifestly unitary construction of low dimensional higher Hilbert spaces, formally constructing the $\mathrm{C}^*$-3-category of 3-Hilbert spaces from Baez's 2-Hilbert spaces, which itself forms a 3-Hilbert space. We prove that the forgetful functor from 3-Hilbert spaces to 3-vector spaces is fully faithful., Comment: 71 pages, 5 figures, many tikz diagrams. Comments welcome!

If Com is the reduced commutative operad, the category of Com-algebras in spectra is the category of nounital commutative ring spectra. The theme of this survey is that many important constructions on Com-algebras are given by taking the derived circle product with well chosen right Com-modules. Examples of constructions arising this way include the tensor product of a based space K with such an algebra I, and TQ(I), the Topological Andre-Quillen homology spectrum of I. We then show how filtrations of right Com-modules can be used to filter such constructions. A natural decreasing filtration on right Com-modules, when specialized to the Com-bimodule Com, defines the augmentation ideal tower of I, built out of the extended powers of TQ(I). A natural increasing filtration on right Com-modules, when specialized to the right Com-module used to define TQ(I), defines a filtration on TQ(I) built out of I and the spaces in the Lie cooperad. There are two versions of this in the literature -- by the author and by Behrens and Rezk -- and our setting here makes it easy to prove that these agree. Much of this applies with Com replaced by a more general reduced operad, and we make a few remarks about this., Comment: 18 pages

We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor $\int_\mathbb{O}$ which takes categorical $\mathbb{O}$-operads to operadic functors over $\mathbb{O}$, and we characterise its essential image by certain lifting properties. Such operadic functors are called operadic fibration. Our theory is an extension of the discrete (unary) operadic case and, in some sense, of the classical Grothendieck construction of a categorical presheaf. For the terminal unary operadic category $\odot$, a categorical $\odot$-operad is a strict monoidal category $\mathscr{V}$ and its Grothendieck construction $\int_\odot \mathscr{V}$ is connected to the `Para' construction appearing in machine learning. The 2-categorical setting provides a characterisation of $\mathbb{O}$-operads valued in $\mathscr{V}$ as operadic functors $\mathbb{O} \to \int_\odot \mathscr{V}$. Last, we describe a left adjoint to $\int_\odot$., Comment: 30 pages

The notion of bounded ideals is introduced for quasi-metric spaces. Such ideals give rise to a monad, the bounded ideal monad, on the category of quasi-metric spaces and non-expansive maps. Algebras of this monad are metric version of local dcpos of Mislove. It is shown that an algebra of the bounded ideal monad is a standard quasi-metric space of which the formal balls form a local dcpo; and that a continuous algebra is a standard quasi-metric space of which the formal balls form a local domain., Comment: 21 pages

Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost rigid modules is a weakening of the classical notion of rigid modules. The importance of this new notion stems from the fact that maximal almost rigid $A$-modules are in bijection with the triangulations of the polygon $S.$ In this article, we give a different realization of maximal almost rigid modules. We introduce a non-standard exact structure $\mathcal{E}_\diamond$ on $\text{mod}\,A$ such that the maximal almost rigid $A$-modules in the usual exact structure are exactly the maximal rigid $A$-modules in the new exact structure. A maximal rigid module in this setting is the same as a tilting module. Thus the tilting theory relative to the exact structure $\mathcal{E}_\diamond$ translates into a theory of maximal almost rigid modules in the usual exact structure. As an application, we show that with the exact structure $\mathcal{E}_\diamond$, the module category becomes a 0-Auslander category in the sense of Gorsky, Nakaoka and Palu. We also discuss generalizations to quivers of type $\mathbb{D}$ and gentle algebras., Comment: 15 pages, 5 figures

We show that Koszul duality between differential graded categories and pointed curved coalgebras interchanges smooth and proper Calabi-Yau structures. This result is a generalization and conceptual explanation of the following two applications. For a finite-dimensional Lie algebra a smooth Calabi-Yau structure on the universal enveloping algebra is equivalent to a proper Calabi-Yau structure on the Chevalley-Eilenberg chain coalgebra, which exists if and only if Poincare duality is satisfied. For a topological space X having the homotopy type of a finite complex we show an oriented Poincare duality structure (with local coefficients) on X is equivalent to a proper Calabi-Yau structure on the dg coalgebra of chains on X and to a smooth Calabi-Yau structure on the dg algebra of chains on the based loop space of X., Comment: V2: Minor clarifications and corrections. 32 pages

Lessard's $\mathbb{Z}$-categories are an analogue of $\omega$-categories possessing cells in all positive and negative dimensions. Categorical spectra, developed by Stefanich, are an analogue of spectra obtained by replacing the suspension of pointed $\infty$-groupoids by that of pointed $(\infty,\omega)$-categories. We give an $\infty$-categorical definition of weak $\mathbb{Z}$-categories (alias $(\infty,\mathbb{Z})$-categories), and show categorical spectra to be equivalent to pointed $(\infty,\mathbb{Z})$-categories. In particular, we show that the stable cells of categorical spectra coincide with the natural cells of $(\infty,\mathbb{Z})$-categories, and recover Lessard's description of spectra as pointed weak $\mathbb{Z}$-groupoids., Comment: 15 pages. Comments are welcome!

Morita equivalence classes of Lie groupoids serve as models for differentiable stacks, which are higher spaces in differential geometry, generalizing manifolds and orbifolds. Representations up to homotopy of Lie groupoids provide a higher analog of classical representations and play a significant role in Poisson geometry. In this paper, we prove that the cohomology with coefficients in a representation up to homotopy is a Morita invariant, and therefore an invariant of the underlying stack. This result was inspired by the 2-term case, previously developed by del Hoyo and Ortiz, and it relies on the simplicial approach to representations up to homotopy, recently introduced by del Hoyo and Trentinaglia. As a subsidiary result, we include a proof of the cohomological descent for higher Lie groupoids., Comment: 22 pages

We show that torsion pairs in Krull--Schmidt abelian categories induce an equivalence between the subcategory of torsion-free objects admitting universal extensions to the torsion subcategory, and a quotient of the ext-orthogonal complement of the torsion subcategory. This generalize an equivalence described by Bauer--Botnan--Oppermann--Steen for tilting-torsion pairs and by Buan--Zhou for functorially finite torsion pairs. The result also provides a more direct proof of the functorially finite case, not relying on the machinery of two-term silting complexes. We illustrate the equivalence in the special case of tube categories. After first appearing on the arXiv, the author learnt that the equivalence has previously been described by Demonet--Iyama., Comment: v1: 17 pages. Comments welcome. v2: Updated article to reflect that the equivalence is previously described by Demonet--Iyama

We provide a category theoretical framework capturing two approaches to graph-based models of chemistry: formal reactions and disconnection rules. We model a translation from the latter to the former as a functor, which is faithful, and full up to isomorphism. This allows us to state, as our main result, that the disconnection rules are sound, complete and universal with respect to the reactions. Concretely, this means that every reaction can be decomposed into a sequence of disconnection rules in an essentially unique way. This provides a uniform way to store reaction data, and gives an algorithmic interface between (forward) reaction prediction and (backward) reaction search or retrosynthesis., Comment: 22 pages, 6 figures. Extended version of an article to be published in the proceedings of ICTAC 2024