Quantaloids,enriched categories and automata theory

This article is intended to be an survey article outlining how the theory of quantaloids and categories enriched in them provides an effective means of analyzing both automata and tree automata. The emphasis is on the unification of concepts and how categorical methods provide insight into various calculations and theorems, both illuminating the original presentation as well as yielding conceptually simpler proofs. Proofs will be omitted and the emphasis is on providing the reader (even a relatively inexperienced one) with an understanding of the basic constructions and results.     

Strong cofibrations and fibrations in enriched categories

We define strong cofibrations and fibrations in suitably enriched categories using the relative homotopy extension resp. lifting property. We prove a general pairing result, which for topological spaces specializes to the well-known pushout-product theorem for cofibrations. Strong cofibrations and fibrations give rise to cofibration and fibration categories in the sense of homotopical algebra. We discuss various examples; in particular, we deduce that the category of chain complexes with chain equivalences and the category of categories with equivalences are symmetric monoidal proper closed model categories. Eine überarbeitete Fassung ging am 5. 12. 2001 ein     

Descent in ∗ -autonomous categories

We extend the result of Joyal and Tierney asserting that a morphism of commutative algebras in the ∗-autonomous category of sup-lattices is an effective descent morphism for modules if and only if it is pure, to an arbitrary ∗-autonomous category V (in which the tensor unit is projective) by showing that any V-functor out of V is precomonadic if and only if it is comonadic.     

Internal Kleisli categories

A construction of Kleisli objects in 2-categories of noncartesian internal categories or categories internal to monoidal categories is presented.     

Weak bimonoids in duoidal categories

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg–Moore category of the induced monad. Making appropriate assumptions on the duoidal category in question, the fundamental theorem of Hopf modules is proven which says that the category of modules over one of the base monoids is equivalent to the category of Hopf modules if and only if a Galois-type comonad morphism is an isomorphism.     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

The enriched Vietoris monad on representable spaces

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the “up-set monad” on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock–Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our “up-set monad”. We emphasise that these generic categorical notions and results can be indeed connected to more “classical” topology: for topological spaces, the “up-set monad” becomes the lower Vietoris monad, and the statement “X   is totally cocomplete if and only if X^op$X^{\mathrm{op}}$ is totally complete” specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces as precisely the continuous lattices.     

Traces in symmetric monoidal categories

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things, this note is intended as background for the generalizations to the context of bicategories and indexed monoidal categories.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

Approximation in quantale-enriched categories

Our work is a foundational study of the notion of approximation in Q-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Q- and (U,Q)-categories. We fully characterize continuous Q-categories (resp. (U,Q)-categories) among all cocomplete Q-categories (resp. (U,Q)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale Q and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.     

Locally finitely presented categories of sheaves

Let A be a locally finitely presented Grothendieck category. It is shown that a class of localizations of A in the sense of Bousfield is again locally finitely presented. The criterion is applied to torsion-free classes in A, sheaves and separated presheaves on a generalized ringed space, and representations of partially ordered sets.     

Picard groups of derived categories

We investigate the group of isomorphism classes of invertible objects in the derived category of -modules for a commutative unital ringed Grothendieck topos with enough points. When the ring has connected prime ideal spectrum for all points p of we show that is naturally isomorphic to the Cartesian product of the Picard group of -modules and the additive group of continuous functions from the space of isomorphism classes of points of to the integers . Also, for a commutative unital ring R, the group is isomorphic to the Cartesian product of Pic(R) and the additive group of continuous functions from spec R to the integers .     

Structure sheaves of definable additive categories

We prove that the 2-category of small abelian categories with exact functors is anti-equivalent to the 2-category of definable additive categories. We define and compare sheaves of localisations associated to the objects of these categories. We investigate the natural image of the free abelian category over a ring in the module category over that ring and use this to describe a basis for the Ziegler topology on injectives; the last can be viewed model-theoretically as an elimination of imaginaries result.     

Unitarizability of premodular categories

We study the unitarizability of premodular categories constructed from representations of quantum group at roots of unity. We introduce Grothendieck unitarizability as a natural generalization of unitarizability to classes of premodular categories with a common Grothendieck semiring. We obtain new results for quantum groups of Lie types F₄ and G₂, and improve the previously obtained results for Lie types B and C.     

Mal'cev categories and fibration of pointed objects

The fibration p of pointed objects of a category E is shown to have some classifying properties: it is additive if and only if E is naturally Mal'cev, it is unital if and only if E is Mal'cev. The category E is protomodular if and only if the change of base functors relative to p are conservative.     

Cohomologically trivial internal categories in categories of groups with operations

We describe cohomologically trivial internal categories in the categoryC of groups with operations satisfying certain conditions ([15], [16]). As particular cases we obtain: ifC=Gr, H⁰(C, –)=0 iff C is a connected internal category; ifC=Ab,H ¹(C, –)=0 iff C is equivalent to the discrete internal category (Cokerd, Cokerd, 1, 1, 1, 1). We also discuss related questions concerning extensions, internal categories, their cohomology and equivalence in the categoryC.