Search

Delta lenses are functors equipped with a functorial choice of lifts, generalising the notion of split opfibration. In this paper, we introduce a Grothendieck construction (or category of elements) for delta lenses, thus demonstrating a correspondence between delta lenses and certain lax double functors into the double category of sets, functions, and split multivalued functions. We show that the double category of split multivalued functions admits a universal property as a certain kind of limit, and inherits many nice properties from the double category of spans. Applications of this construction to the theory of delta lenses are explored in detail., Comment: 41 pages

Kapranov and Schechtman defined the category FP of factorized perverse sheaves on Sym(C) smooth along the stratification given by multiplicities and with values in a braided monoidal category V. We define for each d\in N the category FP^{\leq d} of factorized perverse sheaves on the disjoint union of Sym^n(C) for n\leq d and the category FP_{\leq d} of factorized perverse sheaves on the open subset of Sym(C) consisting of multi-sets with multiplicities bounded by d. We show that the families (FP^{\leq d})_{d in N} and (FP_{\leq d})_{d in N} fit into systems of categories whose inverse limit is FP, and that for each d the natural restriction functor from FP_{\leq d} to FP^{\leq d} is faithful and compatible with taking the limit. For d=1 we prove that the natural restriction functor is an equivalence and that FP^{\leq 1} and FP_{\leq 1} are equivalent to V.

We prove that any weakly idempotent complete $d$-exact category is equivalent to a $d$-cluster tilting subcategory of a weakly idempotent complete exact category, and that any weakly idempotent complete algebraic $(d+2)$-angulated category is equivalent to a $d$-cluster tilting subcategory of an algebraic triangulated category closed under $d$-shifts. Furthermore, we show that the ambient exact category of a $d$-cluster tilting subcategory is unique up to exact equivalence, assuming it is weakly idempotent complete. This follows from the inclusion of the $d$-cluster tilting subcategory satisfying a universal property. As a consequence of our theory we also get that any $d$-torsion class is $d$-cluster tilting in an extension-closed subcategory, and we recover the fact that any $d$-wide subcategory is $d$-cluster tilting in a unique wide subcategory. In the last part of the paper we rectify the description of the $d$-exact structure of a $d$-cluster tilting subcategory of a non-weakly idempotent complete exact category., Comment: 47 pages

We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into smaller categories of the same type. These form polygons of recollements, in which a full turn of mutations is a power of a particular auto-equivalence of the stable monomorphism category. A certain power of this auto-equivalence is the square of the suspension functor. We describe the infinite chains of adjoint pairs obtained from the polygons. As an application, we explicate the construction of Bondal and Kapranov for lifting representing objects of dualized hom-functors in our setup., Comment: 43 pages, 1 figure

The present article represents a step forward in the study of the following problem: If $\mathbb{A}=(A_{1},A_{2})$ and $\mathbb{H}=(H_{1},H_{2})$ are Hopf braces in a symmetric monoidal category C such that $(A_{1},H_{1})$ and $(A_{2},H_{2})$ are matched pairs of Hopf algebras, then we want to know under what conditions the pair $(A_{1}\bowtie H_{1},A_{2}\bowtie H_{2})$ constitutes a new Hopf brace. We find such conditions for the pairs $(A_{1}\otimes H_{1},A_{2}\bowtie H_{2})$ and $(A_{1}\bowtie H_{1},A_{2}\sharp H_{2})$ to be Hopf braces, which are particular situations of the general problem described above, and we apply these results to study when the Drinfeld's Double gives rise to a Hopf brace.

In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which behaves well under this operation and the tangent bundle functor. This issue is reflected in tangent category theory, which aims to axiomatize the tangent bundle functor of differential geometry categorically. Key constructions such as connections, tangent fibrations, or reverse tangent categories require one to work with pullbacks preserved by the tangent bundle functor. In previous work, this issue has been left as a technicality and solved by introducing extra structure to carry around. This paper gives an alternative to this by focusing on a special class of maps in a tangent category called tangent display maps; such maps are well-behaved with respect to pullbacks and applications of the tangent functor. We develop some of the general theory of such maps, show how using them can simplify previous work in tangent categories, and show that in the tangent category of smooth manifolds, they are the same as the submersions. Finally, we consider a subclass of tangent display maps to define open subobjects in any tangent category, allowing one to build a canonical split restriction tangent category in which the original one naturally embeds.

We show a result inspired by a conjecture by Shulman claiming that ultracategories as defined by Lurie are normal colax algebras for a certain pseudo-monad on the category of categories CAT. Such definition allows us to regard left and right ultrafunctors as defined by Lurie as instances of lax/colax algebras morphisms

It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}. Moreover, in these categorical settings, such internal abelian group structures are unique, and every morphism between the underlying objects of internal abelian groups is necessarily a morphism of internal abelian groups. It is also known that both (regular) unital and subtractive categories have normal projections, i.e., the isomorphism formula $(X\times Y)/Y\approx X$ holds. In this paper, we show that all properties of simple behaviour of internal abelian groups in unital and subtractive categories lift to arbitrary categories having normal projections, Comment: 5 pages

We use the Symmetry Topological Field Theory (SymTFT) to systematically characterize gapped phases in 2+1 dimensions with categorical symmetries. The SymTFTs that we consider are (3+1)d Dijkgraaf-Witten (DW) theories for finite groups $G$, whose gapped boundaries realize all so-called ``All Bosonic type" fusion 2-category symmetries. In arXiv:2408.05266 we provided the general framework and studied the case where $G$ is an abelian group. In this work we focus on the case of non-Abelian $G$. Gapped boundary conditions play a central role in the SymTFT construction of symmetric gapped phases. These fall into two broad families: minimal and non-minimal boundary conditions, respectively. The first kind corresponds to boundaries on which all line operators are obtainable as boundary projections of bulk line operators. The symmetries on such boundaries include (anomalous) 2-groups and 2-representation categories of 2-groups. Conversely non-minimal boundaries contain line operators that are intrinsic to the boundaries. The symmetries on such boundaries correspond to fusion 2-categories where modular tensor categories intertwine non-trivially with the above symmetry types. We discuss in detail the generalized charges of these symmetries and their condensation patterns that give rise to a zoo of rich beyond-Landau gapped phases. Among these are phases that exhibit novel patterns of symmetry breaking wherein the symmetry broken vacua carry distinct kinds of topological order. We exemplify this framework for the case where $G$ is a dihedral group., Comment: 137 pages

This paper investigates Frobenius subalgebra lattices within tensor categories and extends Watatani's theorem on the finiteness of intermediate subfactors to this setting, under certain positivity conditions encompassing the pseudo-unitary fusion categories. The primary tools employed in this study are semisimplification and a concept of formal angle. Additionally, we have broadened several intermediate results, such as the exchange relation theorem and Landau's theorem, to apply to abelian monoidal categories. Key applications of our findings include a stronger version of the Ino-Watatani result: we show that the finiteness of intermediate C*-algebras holds in a finite index unital irreducible inclusion of C*-algebras without requiring the simple assumption. Moreover, for a finite-dimensional semisimple Hopf algebra H, we demonstrate that H* contains a finite number of Frobenius subalgebra objects in Rep(H). Finally, we explore a range of applications, including abstract spin chains, vertex operator algebras, and speculations on quantum arithmetic involving the generalization of Ore's theorem, Euler's totient and sigma functions, and RH., Comment: 35 pages, 50 tikz figures. Comments are welcome!

We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring the existence of free objects, and thus of enough projectives. We show that such a variety is not necessarily Schreier, but satisfies the so-called Condition (P) -- meaning the class of projectives is closed under protosplit subobjects -- if and only if the base variety satisfies this condition. As a consequence, the non-additive left chain-derived functors of the connected components functor are well defined in this context.

We use the Chu construction to functorially build BV-categories from duoidal categories, demonstrating that candidate models of BV-logic can be cofreely constructed from a fragment of a model of Retor\'e's sequencing operator. By using this construction to show that the strong Hyland envelope is a BV-category, we find a way to build a canonical model of spatio-temporal relationships between agents in spacetime from any symmetric monoidal category. The concrete physical interpretation of spacetime events in this model as intervention-context pairs resolves deficiencies in previous attempts to give a general categorical semantics to quantum supermaps.

Matsui and Takahashi introduce a general spectra construction for triangulated categories in [J. Math. Soc. Japan, 4:2121-2150,2020], which is later used to establish Matsui's theory of triangular geometry. In this paper, we study several topological aspects of this general construction and give criteria for soberness and spectralness of the spectra. Furthermore, we discuss and generalize the immersion phenomenon for Noetherian schemes as appeared in [Pacific. J. Math., 313(2):433-457, 2021]. The last section illustrates that similar immersions also appear if the underlying category has a well-defined finite group action. We work in the extriangulated context to incorporate similar ideas from the triangulated and abelian contexts., Comment: 21 pages, comments or suggestions are very welcome

In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to the 2-category of adjunctions and the 2-category of extensive monads is isomorphic to the 2-category of monads. This article would be useful as a foundation for a theory relating pseudo adjunctions and pseudo monads for Gray-categories. On the other hand, it might function as an accesible tool for computer scientists on extensive monads.

In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish a theory of functor categories and bifunctors that is applicable relative to an arbitrary monoidal category V and applies both to V-enriched categories and also to V-actegories. We accomplish this by working in the setting of (V-)graded categories, which generalize both V-enriched categories and V-actegories and were introduced by Wood under the name "large V-categories". We develop a general framework for graded functor categories and graded bifunctors taking values in bigraded categories, noting that V itself is canonically bigraded. We show that V-graded modules (or profunctors) are examples of graded bifunctors and that V-graded presheaf categories are examples of V-graded functor categories. In the special case where V is normal duoidal, we compare the above graded concepts with the enriched bifunctors and functor categories of Garner and L\'opez Franco. Along the way, we study several foundational aspects of graded categories, including a contravariant change of base process for graded categories and a formalism of commutative diagrams in graded categories that arises by freely embedding each V-graded category into a V-actegory.

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley condition. We show that this universal property is implemented by an $(\infty,2)$-categorical refinement of Barwick's \emph{unfurling construction}: For any right adjointable functor $\mathcal{C} \to \mathrm{Cat}_{\infty}$, the unstraightening of its unique extension to $\mathbf{Span}(\mathcal{C})$ can be explicitly written down as another span $(\infty,2)$-category, and on underlying $(\infty,1)$-categories this recovers Barwick's construction. As an application, we show that the constructions of cartesian normed structures by Nardin--Shah and Cnossen--Haugseng--Lenz--Linskens coincide., Comment: 14 pages

A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times \mathcal{B} \to \mathcal{C}$, with compatibility conditions between the components. We have two versions of compatibility conditions, the stronger depending on the higher extensions of the extriangulated categories. We give many examples of tensor extriangulated categories. Finally, we generalise Balmer's classification of thick tensor ideals to tensor extriangulated categories., Comment: 37 pages, comments welcome

Assume that $K$ is an algebraically closed field, $R$ a locally bounded $K$-category, $G$ an admissible group of $K$-linear automorphisms of $R$ and $F:R\rightarrow A$ the Galois $G$-covering functor. In the first part of the paper we show that $KG(R)\leq KG(A)$ where $KG$ denotes the Krull-Gabriel dimension. This result is proved by developing the Galois covering theory of functor categories, based on the existence of the general tensor product bifunctor. We understand this theory as the theory of the left and the right adjoint functors $\Phi,\Theta:MOD(\mathcal{R})\rightarrow MOD(\mathcal{A})$ to the pull-up functor $\Psi=(F_{\lambda})_{\bullet}:MOD(\mathcal{A})\rightarrow MOD(\mathcal{R})$, along the push-down functor $F_{\lambda}:\mathcal{R}\rightarrow\mathcal{A}$ where $\mathcal{R}=mod(R)$, $\mathcal{A}=mod(A)$ and $(F_{\lambda})_{\bullet}=(-)\circ F_{\lambda}$. In the case $F_{\lambda}$ is dense, $\Phi$ and $\Theta$ are natural generalizations of the classical push-down functors. Generally, $\Phi$ and $\Theta$ restrict to categories $\mathcal{F}(R),\mathcal{F}(A)$ of finitely presented functors and the restricted functors coincide. In the second part of the paper, we show that $\Phi:\mathcal{F}(R)\rightarrow\mathcal{F}(A)$ is a Galois $G$-precovering of functor categories. Next we consider an important special case when $R$ is simply connected locally representation-finite. Then $\Phi$ may be studied in terms of classical covering theory which allows to give an example of $\Phi$ which is not dense. This justifies the introduction of the functors of the first and the second kind, following the terminology of Dowbor and Skowro\'nski. In the final part of the paper, we give special applications of our results. Last but not least, we discuss applications to the conjecture of M. Prest, relating the Krull-Gabriel dimension of an algebra with its representation type., Comment: Key words and phrases: Krull-Gabriel dimension, Galois coverings, functor categories, tensor product bifunctor, representation type, domestic algebra

Weak $\infty$-categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipulation of explicit coherence data. This motivates the search for definitions of semistrict $\infty$-categories, where some, but not all, of the operations have been strictified. We introduce a general framework for adding definitional equality to the type theory $\mathsf{Catt}$, a type theory whose models correspond to globular weak $\infty$-categories, which was introduced by Finster and Mimram. Adding equality to this theory causes the models to exhibit semistrict behaviour, trivialising some operations while leaving others weak. The framework consists of a generalisation of $\mathsf{Catt}$ extended with an equality relation generated by an arbitrary set of equality rules $\mathcal{R}$, which we name $\mathsf{Catt}_{\mathcal{R}}$. We study this framework in detail, formalising much of its metatheory in the proof assistant Agda, and studying how certain operations of $\mathsf{Catt}$ behave in the presence of definitional equality. We use this framework to introduce two type theories, $\mathsf{Catt}_{\mathsf{su}}$ and $\mathsf{Catt}_{\mathsf{sua}}$, which are instances of this general framework. Further, we provide terminating and confluent reduction systems that generate the equality of both systems. We therefore prove that the equality, and hence typechecking, of both theories is decidable. This is used to give an implementation of these type theories, which uses an approach inspired by normalisation by evaluation to efficiently find normal forms for terms. We further introduce a bidirectional typechecking algorithm used by the implementation which allows for terms to be defined in a convenient syntax where many arguments can be left implicit., Comment: 211 pages, PhD thesis

We show that two finite-dimensional Hopf algebras are gauge equivalent if and only if their bounded derived categories are monoidal triangulated equivalent. More generally, a monoidal derived equivalence between locally finite tensor Grothendieck categories induces a monoidal abelian equivalence., Comment: 18 pages. Any comments are welcome!

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata that we introduce in this paper. Polyautomata extend linear polygraphs of an operator structure formalized by a pushdown automata. We show how to construct polygraphic resolutions of free operated algebras from their confluent and terminating presentations. Finally, we apply our constructions to several families of operated algebras, including Rota-Baxter algebras, differential algebras, and differential Rota-Baxter algebras.

In this paper, we prove that given a differential graded category C and B a full differential graded subcategory closed under coproducts, there is a canonical recollement of differential graded categories, for which we use enriched categories tools. We continue the study of differential graded triangular matrix categories as initiated in [22]. We show that given a recollement between functor dg-categories we can induce a new recollement between differential graded triangular matrix categories, this is a generalization of a result given by Chen and Zheng in [5, Theorem 4.4]., Comment: 34 pages

In a recent collaboration, Hiroki Matsui and the author introduced a new proof of the reconstruction theorem of Bondal-Orlov and Ballard, using Matsui's construction of a ringed space associated to a triangulated category. This paper first shows that these ideas can be applied to reconstructions of more general varieties from their perfect derived categories. For further applications of these ideas, we introduce the framework of a polarized triangulated category, a pair $(\mathcal T,\tau)$ consisting of a triangulated category $\mathcal T$ and an autoequivalence $\tau$ (called a polarization), to which we can associate a ringed space called the pt-spectrum. As concrete applications, we observe that several reconstruction results of Favero naturally fit within this framework, leading to both generalizations and new proofs of these results. Furthermore, we explore broader implications of polarizations and pt-spectra in tensor triangular geometry, noncommutative projective geometry, birational geometry and homological mirror symmetry., Comment: 39 pages. Comments welcome!

In this paper, we develop category theory of Markov kernels to study categorical aspects of Bayesian inversions. As a result, we present a unified model for Bayesian supervised learning, encompassing Bayesian density estimation. We illustrate this model with Gaussian process regressions., Comment: 20 p., accepted for Mat. Sbornik, vol. 216 (2025)

Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core to our approach is the set of axioms underlying a setting for stability, which give the necessary ingredients for ``doing Lyapunov theory'' in a category of interest. With these minimal assumptions, we define the stability of equilibria, formulate Lyapunov morphisms, and demonstrate that the existence of Lyapunov morphisms is necessary and sufficient for establishing the stability of flows. To illustrate these constructions, we show how classical notions of stability, e.g., for continuous and discrete time dynamical systems, are captured by this categorical framework for Lyapunov theory. Finally, to demonstrate the extensibility of our framework, we illustrate how enriched categories, e.g., Lawvere metric spaces, yield settings for stability enabling one to ``do Lyapunov theory'' in enriched categories., Comment: 31 pages

Traced monoidal categories are used to model processes that can feed their outputs back to their own inputs, abstracting iteration. The category of finite dimensional Hilbert spaces with the direct sum tensor is not traced. But surprisingly, in 2014, Bartha showed that the monoidal subcategory of isometries is traced. The same holds for coisometries, unitary maps, and contractions. This suggests the possibility of feeding outputs of quantum processes back to their own inputs, analogous to iteration. In this paper, we show that Bartha's result is not specifically tied to Hilbert spaces, but works in any dagger additive category with Moore-Penrose pseudoinverses (a natural dagger-categorical generalization of inverses).

In the field of categorical probability, one uses concepts and techniques from category theory, such as monads and monoidal categories, to study the structures of probability and statistics. In this paper, we connect some ideas from categorical algebra, namely weakly cartesian functors and natural transformations, to the idea of conditioning in probability theory, using Markov categories and probability monads. First of all, we show that under some conditions, the monad associated to a Markov category with conditionals has a weakly cartesian functor and weakly cartesian multiplication (a condition known as Beck-Chevalley, or BC). In particular, we show that this is the case for the Giry monad on standard Borel spaces. We then connect this theory to existing results on statistical experiments. We show that for deterministic statistical experiments, the so-called standard measure construction (which can be seen as a generalization of the "hyper-normalizations" introduced by Jacobs) satisfies a universal property, allowing an equivalent definition which does not rely on the existence of conditionals., Comment: 33 pages, part of this research is appearing in Bohinen's MSc thesis (University of Oxford)

Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over commutative monoids (called additive enrichment) and has a monoidal coalgebra modality that is equipped with a codereliction. The codereliction is what captures the ability of differentiating non-linear proofs via linearization in Differential Linear Logic. The additive enrichment plays an important role since it allows one to express the famous Leibniz rule. However, the axioms of a codereliction can be expressed without any sums or zeros. Therefore, it is natural to ask if one can consider a possible non-additive enriched version of differential linear categories. In this paper, we show that even if a codereliction can be technically defined in an non-additive setting, it nevertheless induces an additive enrichment via bialgebra convolution. Thus we obtain a novel characterization of a differential linear category as a symmetric monoidal category with a monoidal bialgebra modality equipped with a codereliction. Moreover, we also show that coderelictions are, in fact, unique. We also introduce monoidal Hopf coalgebra modalities and discuss how antipodes relate to enrichment over Abelian groups.

Previous work has demonstrated that efficient algorithms exist for computing Kan extensions and that some Kan extensions have interesting similarities to various machine learning algorithms. This paper closes the gap by proving that all error minimisation algorithms may be presented as a Kan extension. This result provides a foundation for future work to investigate the optimisation of machine learning algorithms through their presentation as Kan extensions. A corollary of this representation of error-minimising algorithms is a presentation of error from the perspective of lossy and lossless transformations of data.

In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involutive negation, using a polarised effect calculus. A main challenge in designing a denotational semantics is to accommodate both call-by-value and call-by-name evaluation strategies, which leads to a failure of associativity of composition. Building on the work of the third author, we devise the notion of dialogue duploid, which provides a non-associative and effectful counterpart to the notion of dialogue category introduced by the second author in his 2-categorical account, based on adjunctions, of logical polarities and continuations. We show that the syntax of the polarised calculus can be interpreted in any dialogue duploid, and that it defines in fact a syntactic dialogue duploid. As an application, we establish, by semantic as well as syntactic means, the Hasegawa-Thielecke theorem, which states that the notions of central map and of thunkable map coincide in any dialogue duploid (in particular, for any double negation monad on a symmetric monoidal category)., Comment: 22 pages with appendix

Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this point of view through a natural notion of extensive and coextensive morphism. Through these notions, topics in universal algebra, such as the strict refinement and Fraser-Horn properties, take categorical form and thereby enjoy the benefits of categorical generalisation. On the other hand, the universal algebraic theory surrounding these topics inspire categorical results. One such result we establish in this paper is that a Barr-exact category is coextensive if and only if every split monomorphism in the category is coextensive., Comment: 22 pages

We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the sets $\{ {\rm pd}(I) \ \text{:} \ I \text{ is injective} \}$ and $\{ {\rm id}(P) \ \text{:} \ P \text{ is projective} \}$ are finite). Such categories turn out to be a suitable setting on which it is possible to obtain hereditary abelian model structures where the (co)fibrant objects are Gorenstein injective (resp., Gorenstein projective) objects relative to GI-admissible (resp., GP-admissible) pairs. Applications and examples of these structures are given. Moreover, we link relative Gorenstein categories with tilting theory and obtain relations between different relative homological dimensions., Comment: 49 pages

For any compactly generated triangulated category we introduce two topological spaces, the shift-spectrum and the shift-homological spectrum. We use them to parametrise a family of thick subcategories of the compact objects, which we call radical. These spaces can be viewed as non-monoidal analogues of the Balmer and homological spectra arising in tensor-triangular geometry: we prove that for monogenic tensor-triangulated categories the Balmer spectrum is a subspace of the shift-spectrum. To construct these analogues we utilise quotients of the module category, rather than the lattice theoretic methods which have been adopted in other approaches. We characterise radical thick subcategories and show in certain cases, such as the perfect derived categories of tame hereditary algebras or monogenic tensor-triangulated categories, that every thick subcategory is radical. We establish a close relationship between the shift-homological spectrum and the set of irreducible integral rank functions, and provide necessary and sufficient conditions for every radical thick subcategory to be given by an intersection of kernels of rank functions. In order to facilitate these results, we prove that both spaces we introduce may equivalently be described in terms of the Ziegler spectrum., Comment: 43 pages

Morita theory for quantales is developed. The main result of the paper is a characterization of those quantaloids (categories enriched in the symmetric monoidal closed category of sup-lattices) that are equivalent to modular categories over quantales. Based on this characterization, necessary and sufficient conditions are derived for two quantales to be Morita-equivalent, i. e. have equivalent module categories. As an application, it is shown that the category of internal sup-lattices in a Grothendieck topos is equivalent to the module category over a suitable chosen ordinary quantale.

We prove that any globular subdivision of multipointed $d$-spaces gives rise to a dihomotopy equivalence between the associated flows. The proof involves a new Reedy category which is a tweak of the one used to prove the left properness of the q-model category of flows. As a straightforward application, the flows associated to two multipointed $d$-spaces related by a finite zigzag of globular subdivisions have isomorphic branching and merging homology theories., Comment: 40 pages, 2 figures

Let $\mathcal{A}$ be a Frobenius category and $\omega$ the full subcategory consisting of projective objects. The relations between special precovering (resp., precovering) ideals in $\mathcal{A}$ and special precovering (resp., preenveloping) ideals in the stable category $\mathcal{A}/\omega$ are explored. In combination with a result due to Breaz and Modoi, we conclude that every precovering or preenveloping ideal $\mathcal{I}$ in $\mathcal{A}$ with $1_{X}\in{\mathcal{I}}$ for any $X\in{\omega}$ is special. As a consequence, it is proved that an ideal cotorsion pair $(\mathcal{I},\mathcal{J})$ in $\mathcal{A}$ is complete if and only if $\mathcal{I}$ is precovering if and only if $\mathcal{J}$ is preenveloping. This leads to an ideal version of the Bongartz-Eklof-Trlifaj Lemma in $\mathcal{A}/\omega$, which states that an ideal cotorsion pair in $\mathcal{A}/\omega$ generated by a set of morphisms is complete. As another consequence, we provide some partial answers to the question about the completeness of cotorsion pairs posed by Fu, Guil Asensio, Herzog and Torrecillas.

We construct an $\infty$-category $\mathcal{G}$ as a model for the Ground State of physical phenomena and we provide properties of its manifestations $\chi = \text{Fun}(\mathcal{G}, \text{Cat}_{\infty})$ in $\text{Cat}_{\infty}$ as well as of its $\infty$-category of spectra $\text{Sp}(\chi)$., Comment: 25 pages

We describe the origins of the theory of tannakian categories, and summarize its main results., Comment: Misprints fixed

Initial semantics aims to capture inductive structures and their properties as initial objects in suitable categories. We focus on the initial semantics aiming to model the syntax and substitution structure of programming languages with variable binding as initial objects. Three distinct yet similar approaches to initial semantics have been proposed. An initial semantics result was first proved by Fiore, Plotkin, and Turi using {\Sigma}-monoids in their seminal paper published at LICS'99. Alternative frameworks were later introduced by Hirschowitz and Maggesi using modules over monads, and by Matthes and Uustalu using heterogeneous substitution systems. Since then, all approaches have been significantly developed by numerous researchers. While similar, the links between this different approaches remain unclear. This is especially the case as the literature is difficult to access, since it was mostly published in (short) conference papers without proofs, and contains many technical variations and evolutions. In this work, we introduce a framework based on monoidal categories that unifies these three distinct approaches to initial semantics, by suitably generalizing and combining them. Doing so we show that modules over monoids provide an abstract and easy to manipulate framework, that {\Sigma}-monoids and strengths naturally arise when stating and proving an initiality theorem, and that heterogeneous substitution systems enable us to prove the initiality theorem modularly. Moreover, to clarify the literature, we provide an extensive overview of related work using our framework as a cornerstone to explain the links between the different approaches and their variations., Comment: Shorter version of arXiv:2401.09366

We investigate objects in symmetric tensor categories that have simultaneously finite symmetric and finite exterior algebra. This forces the characteristic of the base field to be $p>0$, and the maximal degree of non-vanishing symmetric and exterior powers to add up to a multiple of $p$. We give a complete classification of objects in tensor categories for which this sum equals $p$. All resulting tensor categories are Verlinde categories of reductive groups and we fill in some gaps in the literature on these categories., Comment: 27 pages

Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories (SMCs). However, various generalizations, including time-neutral, higher-order, and enriched process theories, do not naturally conform to this structure. In this work, we propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures, which captures a broader class of process theories. By leveraging the string-diagrammatic language, we provide an accessible yet rigorous formulation that unifies and extends traditional process-theoretic approaches. Our operadic framework not only recovers standard process theories as a special case but also enables new insights into quantum foundations and compositional structures. This work paves the way for further investigations into the algebraic and operational properties of generalised process theories within an operadic setting., Comment: 45 pages, Comments Welcome!

The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper strives to provide a modern and comprehensive presentation of these ``categories for relations'', including their enriched version, further showing how they arise as Kleisli categories of suitable symmetric monoidal monads. The resulting taxonomy aims at bringing clarity and organisation to the numerous related concepts and frameworks occurring in the literature

This thesis is an exposition of the author's contribution on effective descent morphisms in various categories of generalized categorical structures. It consists of: Chapter 1, where an elementary description of descent theory and the content of each remaining chapter is provided, supplemented with references; Chapter 2, consisting of various descent theoretical definitions and results employed in the remainder of this work; four chapters, each corresponding to an article written by the author during the period of his PhD studies., Comment: PhD thesis, 71 pages. Corrected the statement and proof of Lemma 3.17

We introduce and study operadic categories with cardinalities in finite sets and establish conditions under which their associated theories of operads and algebras are equivalent to the standard framework introduced in 2015 by Batanin and Markl. Our approach is particularly natural in applications to the operadic category of graphs and the related category of modular operads and their clones., Comment: 36 pages

This thesis details a project to define a fully compositional theory of synchronous sequential circuits built from primitive components, motivated by applying techniques successfully used in programming languages to hardware. The first part of the thesis defines the syntactic foundations of sequential circuit morphisms, and then builds three different semantic theories: denotational, operational and algebraic. We characterise the denotational semantics of sequential circuits as certain causal stream functions, as well as providing a link to existing circuit methodologies by mapping between circuit morphisms, stream functions and Mealy machines. The operational semantics is defined as a strategy for applying some global transformations followed by local reductions to demonstrate how a circuit processes a value, leading to a notion of observational equivalence. The algebraic semantics consists of equations for bringing circuits into a pseudo-normal form, and then encoding between different state sets. This part of the thesis concludes with a discussion of some novel applications, such as those for using partial evaluation for digital circuits. While mathematically rigorous, the categorical string diagram formalism is not suited for reasoning computationally. The second part of this thesis details an extension of string diagram rewriting with hypergraphs so that it is compatible with the traced comonoid structure present in the category of digital circuits. We identify the properties that characterise cospans of hypergraphs corresponding to traced comonoid terms, and demonstrate how to identify rewriting contexts valid for rewriting modulo traced comonoid structure. We apply the graph rewriting framework to fixed point operators as well as the operational semantics from the first part, and present a new hardware description language based on these theoretical developments., Comment: PhD thesis, 272 pages

This paper introduces the notion of extriangulated length categories, whose prototypical examples include abelian length categories and bounded derived categories of finite dimensional algebras with finite global dimension. We prove that an extriangulated category $\mathcal{A}$ is a length category if and only if $\mathcal{A}$ admits a simple-minded system. Subsequently, we study the partially ordered set ${\rm tor}_{\Theta}(\mathcal{A})$ of torsion classes in an extriangulated length category $(\mathcal{A},\Theta)$ from the perspective of lattice theory. It is shown that ${\rm tor}_{\Theta}(\mathcal{A})$ forms a complete lattice, which is further proved to be completely semidistributive and algebraic. Moreover, we describe the arrows in the Hasse quiver of ${\rm tor}_{\Theta}(\mathcal{A})$ using brick labeling. Finally, we introduce the concepts of support torsion classes and support $\tau$-tilting subcategories in extriangulated length categories and establish a bijection between these two notions, thereby generalizing the Adachi-Iyama-Reiten bijection for functorially finite torsion classes., Comment: 39 pages

We introduce and investigate the category $\mathsf{AtoMon}$ of atomic monoids and atom-preserving monoid homomorphisms, which is a (non-full) subcategory of the usual category of monoids. In particular, we compute all limits and colimits, showing that $\mathsf{AtoMon}$ is a complete and cocomplete category. We also address certain arithmetic properties of products and coproducts, providing explicit formulas for some fundamental invariants associated with factorization lengths in atomic monoids.

The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in abstract commutative ideal theory. These concepts are based on particular properties of Galois connections which play an important role also in the abstract study of group-like structures from the perspective of categorical/universal algebra; such role stems from a classical and basic result in group theory: the lattice isomorphism theorem., Comment: 5 pages

In this paper, we introduce a new category of simplicial effects that extends the categories of effect algebras and their multi-object counterpart, effect algebroids. Our approach is based on relaxing the associativity condition satisfied by effect algebras and, more generally, partial monoids. Within this framework, simplicial effects and weakly associative partial groups arise as two extreme cases in the category of weak partial monoids. Our motivation is to capture simplicial structures from the theory of simplicial distributions and measurements that behave like effects., Comment: 45 pages, 4 figures

Drazin inverses are a special kind of generalized inverses that can be defined for endomorphisms in any category. A natural question to ask is whether one can somehow extend the notion of Drazin inverse to arbitrary maps -- not simply endomorphisms. It turns out that this is possible and, indeed, natural to do so for dagger categories. This paper, thus, introduces the notion of a dagger-Drazin inverse, which is a new kind of generalized inverse appropriate for arbitrary maps in a dagger category. This inverse is closely related to the Drazin inverse, for having dagger-Drazin inverses is equivalent to asking that positive maps have Drazin inverses. Moreover, dagger-Drazin inverses are also closely related to Moore-Penrose inverses as we observe that a map has a Moore-Penrose inverse if and only if it is a Drazin-inverse. Furthermore, we explain how Drazin inverses of opposing pairs correspond precisely to dagger-Drazin inverses in cofree dagger categories. We also give examples of dagger-Drazin inverses for matrices over (involutive) fields, bounded linear operators, and partial injections.