Results 11  20
of
122
A Cellular Nerve for Higher Categories
, 2002
"... ... categories. The associated cellular nerve of an ocategory extends the wellknown simplicial nerve of a small category. Cellular sets (like simplicial sets) carry a closed model structure in Quillen’s sense with weak equivalences induced by a geometric realisation functor. More generally, there ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
... categories. The associated cellular nerve of an ocategory extends the wellknown simplicial nerve of a small category. Cellular sets (like simplicial sets) carry a closed model structure in Quillen’s sense with weak equivalences induced by a geometric realisation functor. More generally, there exists a dense subcategory YA of the category of Aalgebras for each ooperad A in Batanin’s sense. Whenever A is contractible, the resulting homotopy category of Aalgebras (i.e. weak ocategories) is
Categorical structures enriched in a quantaloid: Categories, distributions and functors
 Theory Appl. Categ
"... We study the different guises of the projective objects in Cocont(Q): they are the “completely distributive ” cocomplete Qcategories (the left adjoint to the Yoneda embedding admits a further left adjoint); equivalently, they are the “totally continuous ” cocomplete Qcategories (every object is th ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
We study the different guises of the projective objects in Cocont(Q): they are the “completely distributive ” cocomplete Qcategories (the left adjoint to the Yoneda embedding admits a further left adjoint); equivalently, they are the “totally continuous ” cocomplete Qcategories (every object is the supremum of the presheaf of objects “totally below ” it); and also are they the Qcategories of regular presheaves on a regular Qsemicategory. As a particular case, the Qcategories of presheaves on a Qcategory are precisely the “totally algebraic” cocomplete Qcategories (every object is the supremum of the “totally compact” objects below it). We think that these results should be part of a yettobeunderstood “quantaloidenriched domain theory”. 1
Pseudo algebras and pseudo double categories
 J. Homotopy Relat. Struct
"... Abstract. As an example of the categorical apparatus of pseudo algebras over 2theories, we show that pseudo algebras over the 2theory of categories can be viewed as pseudo double categories with folding or as appropriate 2functors into bicategories. Foldings are equivalent to connection pairs, an ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
Abstract. As an example of the categorical apparatus of pseudo algebras over 2theories, we show that pseudo algebras over the 2theory of categories can be viewed as pseudo double categories with folding or as appropriate 2functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2cells of the horizontal 2category. As a special case, strict 2algebras with one object and everything invertible are crossed modules under a group.
Frobenius monads and pseudomonoids
 2CATEGORIES COMPANION 73
, 2004
"... Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalenc ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to "strongly separable " Frobenius algebras and "weak monoidal Morita equivalence". Wreath products of Frobenius algebras are discussed.
Quantum categories, star autonomy, and quantum groupoids
 in "Galois Theory, Hopf Algebras, and Semiabelian Categories", Fields Institute Communications 43 (American Math. Soc
, 2004
"... Abstract A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. Generalizing this concept, we define the term "quantum category"in a braided monoidal category with equalizers distributed ..."
Abstract

Cited by 19 (8 self)
 Add to MetaCart
Abstract A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. Generalizing this concept, we define the term "quantum category"in a braided monoidal category with equalizers distributed over by tensoring with an object. The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's starautonomous categories is more suitable than autonomy ( = compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects". 1.
Pasting Schemes for the Monoidal Biclosed Structure on
, 1995
"... Using the theory of pasting presentations, developed in chapter 2, I give a detailed description of the tensor product on !categories, which extends Gray's tensor product on 2categories and which is closely related to BrownHiggins's tensor product on !groupoids. Immediate consequences are a gen ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
Using the theory of pasting presentations, developed in chapter 2, I give a detailed description of the tensor product on !categories, which extends Gray's tensor product on 2categories and which is closely related to BrownHiggins's tensor product on !groupoids. Immediate consequences are a general and uniform definition of higher dimensional lax natural transformations, and a nice and transparent description of the corresponding internal homs. Further consequences will be in the development of a theory for weak ncategories, since both tensor products and lax structures are crucial in this. Contents 1 Introduction 3 2 Cubes and cubical sets 5 2.1 Cubes combinatorially : : : : : : : : : : : : : : : : : : : : : : : : 5 2.2 A model category for cubes : : : : : : : : : : : : : : : : : : : : : 6 2.3 Generating the model category for cubes : : : : : : : : : : : : : : 7 2.4 Cubical sets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.5 Duality : : : : : : : : : : : : : ...
A BiCategorical Axiomatisation of Concurrent Graph Rewriting
, 1999
"... In this paper the concurrent semantics of doublepushout (DPO) graph rewriting, which is classically defined in terms of shiftequivalence classes of graph derivations, is axiomatised via the construction of a free monoidal bicategory. In contrast to a previous attempt based on 2categories, the us ..."
Abstract

Cited by 18 (10 self)
 Add to MetaCart
In this paper the concurrent semantics of doublepushout (DPO) graph rewriting, which is classically defined in terms of shiftequivalence classes of graph derivations, is axiomatised via the construction of a free monoidal bicategory. In contrast to a previous attempt based on 2categories, the use of bicategories allows to define rewriting on concrete graphs. Thus, the problem of composition of isomorphism classes of rewriting sequences is avoided. Moreover, as a first step towards the recovery of the full expressive power of the formalism via a purely algebraic description, the concept of disconnected rules is introduced, i.e., rules whose interface graphs are made of disconnected nodes and edges only. It is proved that, under reasonable assumptions, rewriting via disconnected rules enjoys similar concurrency properties like in the classical approach.
Towards a calculus of statebased software components
 Journal of Universal Computer Science
, 2003
"... Abstract: This paper introduces a calculus of statebased software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed componen ..."
Abstract

Cited by 17 (9 self)
 Add to MetaCart
Abstract: This paper introduces a calculus of statebased software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the socalled model oriented approach to systems’ design.
Mackaay: Categorical representations of categorical groups
, 2004
"... The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A simple example is computed in explicit detail. 1 ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A simple example is computed in explicit detail. 1