Related papers: Simple free star-autonomous categories and full co…
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial…
We discuss cyclic star-autonomous categories; that is, unbraided star- autonomous categories in which the left and right duals of every object p are linked by coherent natural isomorphism. We settle coherence questions which have arisen…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's…
Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams…
To each symmetrizable Cartan matrix, we associate a finite free EI category. We prove that the corresponding category algebra is isomorphic to the algebra defined in [C. Geiss, B. Leclerc, and J. Schr\"{o}er, Quivers with relations for…
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…
First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…
We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…
We show that the category of free rational G-spectra for a connected compact Lie group G is Quillen equivalent to the category of torsion differential graded modules over the polynomial cohomology ring on the classifying space, H*(BG). The…
We investigate the star-free closure, which associates to a class of languages its closure under Boolean operations and marked concatenation. We prove that the star-free closure of any finite class and of any class of groups languages with…
In this paper, we introduce the concept of the independence graph of a directed 2-complex. We show that the class of diagram groups is closed under graph products over independence graphs of rooted 2-trees. This allows us to show that a…
For a commutative ring $R$, we exploit localization techniques and point-free topology to give an explicit realization of both the Zariski frame of $R$ (the frame of radical ideals in $R$) and its Hochster dual frame, as lattices in the…
We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…
Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius…
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…