Results 1  10
of
13
Boundedness And Complete Distributivity
 IV, Appl. Categ. Structures
"... . We extend the concept of constructive complete distributivity so as to make it applicable to ordered sets admitting merely bounded suprema. The KZdoctrine for bounded suprema is of some independent interest and a few results about it are given. The 2category of ordered sets admitting bounded ..."
Abstract

Cited by 16 (7 self)
 Add to MetaCart
. We extend the concept of constructive complete distributivity so as to make it applicable to ordered sets admitting merely bounded suprema. The KZdoctrine for bounded suprema is of some independent interest and a few results about it are given. The 2category of ordered sets admitting bounded suprema over which nonempty infima distribute is shown to be biequivalent to a 2category defined in terms of idempotent relations. As a corollary we obtain a simple construction of the nonnegative reals. 1. Introduction 1.1. The main theorem of [RW1] exhibited a biequivalence between the 2category of (constructively) completely distributive lattices and suppreserving arrows, and the idempotent splitting completion of the 2category of relations  relative to any base topos. Somewhat in passing in [RW1], it was pointed out that this biequivalence provides a simple construction of the closed unit interval ([0; 1]; ), namely as the ordered set of downsets for the idempotent relat...
Frobenius Algebras and ambidextrous adjunctions
, 2006
"... In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2categories. Specifically, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2categoryDinto which M fu ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2categories. Specifically, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2categoryDinto which M fully and faithfully embeds. Since a 2D topological quantum field theory is equivalent to a commutative Frobenius algebra, this result also shows that every 2D TQFT is obtained from an ambijunction in some 2category. Our theorem is proved by extending the theory of adjoint monads to the context of an arbitrary 2category and utilizing the free completion under EilenbergMoore objects. We then categorify this theorem by replacing the monoidal category M with a semistrict monoidal 2category M, and replacing the 2categoryD into which it embeds by a semistrict 3category. To state this more powerful result, we must first define the notion of a ‘Frobenius pseudomonoid’, which categorifies that of a Frobenius object. We then define the notion of a ‘pseudo ambijunction’, categorifying that of an ambijunction. In each case, the idea is that all the usual axioms now hold only up to coherent isomorphism. Finally, we show that every Frobenius pseudomonoid in a semistrict monoidal 2category arises from a pseudo ambijunction in some semistrict 3category.
A Classification of Accessible Categories
 Max Kelly volume, J. Pure Appl. Alg
, 1996
"... For a suitable collection D of small categories, we define the Daccessible categories, generalizing the #accessible categories of Lair, Makkai, and Pare; here the ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
For a suitable collection D of small categories, we define the Daccessible categories, generalizing the #accessible categories of Lair, Makkai, and Pare; here the
Distributive Laws For Pseudomonads
 T. A. C
, 1999
"... . We define distributive laws between pseudomonads in a Graycategory A, as the classical two triangles and the two pentagons but commuting only up to isomorphism. These isomorphisms must satisfy nine coherence conditions. We also define the Graycategory PSM(A) of pseudomonads in A, and define a l ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
. We define distributive laws between pseudomonads in a Graycategory A, as the classical two triangles and the two pentagons but commuting only up to isomorphism. These isomorphisms must satisfy nine coherence conditions. We also define the Graycategory PSM(A) of pseudomonads in A, and define a lifting to be a pseudomonad in PSM(A). We define what is a pseudomonad with compatible structure with respect to two given pseudomonads. We show how to obtain a pseudomonad with compatible structure from a distributive law, how to get a lifting from a pseudomonad with compatible structure, and how to obtain a distributive law from a lifting. We show that one triangle suffices to define a distributive law in case that one of the pseudomonads is a (co)KZdoctrine and the other a KZdoctrine. 1. Introduction Distributive laws for monads were introduced by J. Beck in [2]. As pointed out by G. M. Kelly in [7], strict distributive laws for higher dimensional monads are rare. We need then a study ...
On PropertyLike Structures
, 1997
"... A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2category those 2monads for which algebra structure is essentially unique if it exists, giving a precise mathemat ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2category those 2monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of "essentially unique" and investigating its consequences. We call such 2monads propertylike. We further consider the more restricted class of fully propertylike 2monads, consisting of those propertylike 2monads for which all 2cells between (even lax) algebra morphisms are algebra 2cells. The consideration of lax morphisms leads us to a new characterization of those monads, studied by Kock and Zoberlein, for which "structure is adjoint to unit", and which we now call laxidempotent 2monads: both these and their colaxidempotent duals are fully propertylike. We end by showing that (at least for finitary 2monads) the classes of propertylikes, fully propertylike...
Paths in double categories
 Theory Appl. Categ
"... Abstract. Two constructions of paths in double categories are studied, providing algebraic versions of the homotopy groupoid of a space. Universal properties of these constructions are presented. The first is seen as the codomain of the universal oplax morphism of double categories and the second, w ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Abstract. Two constructions of paths in double categories are studied, providing algebraic versions of the homotopy groupoid of a space. Universal properties of these constructions are presented. The first is seen as the codomain of the universal oplax morphism of double categories and the second, which is a quotient of the first, gives the universal normal oplax morphism. Normality forces an equivalence relation on cells, a special case of which was seen before in the free adjoint construction. These constructions are the object part of 2comonads which are shown to be oplax idempotent. The coalgebras for these comonads turn out to be Leinster’s fcmulticategories, with representable identities in the second case.
KAN EXTENSIONS AND LAX IDEMPOTENT PSEUDOMONADS
"... Abstract. We show that colax idempotent pseudomonads and their algebras can be presented in terms of right Kan extensions. Dually, lax idempotent pseudomonads and their algebras can be presented in terms of left Kan extensions. We also show that a distributive law of a colax idempotent pseudomonad o ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. We show that colax idempotent pseudomonads and their algebras can be presented in terms of right Kan extensions. Dually, lax idempotent pseudomonads and their algebras can be presented in terms of left Kan extensions. We also show that a distributive law of a colax idempotent pseudomonad over a lax idempotent pseudomonad has a presentation in terms of Kan extensions. 1.
A 2categories companion
"... Abstract. This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. 1. Overview and basic examples This paper is a rather informal gu ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. 1. Overview and basic examples This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will not find a definition of bicategory; but then nor will you really need one to read it. In keeping with the philosophy of category theory, the morphisms between bicategories play more of a role than the bicategories themselves. 1.1. The key players. There are bicategories, 2categories, and Catcategories. The latter two are exactly the same (except that strictly speaking a Catcategory should have small homcategories, but that need not concern us here). The first two are nominally different — the 2categories are the strict bicategories, and not every bicategory is strict — but every bicategory is biequivalent to a strict one, and biequivalence is the right general notion of equivalence for bicategories and for 2categories. Nonetheless, the theories of bicategories, 2categories, and Catcategories have rather different flavours.
How Algebraic Is Algebra?
, 2001
"... . The 2category VAR of finitary varieties is not varietal over CAT . We introduce the concept of an algebraically exact category and prove that the 2category ALG of all algebraically exact categories is an equational hull of VAR w.r.t. all operations with rank. Every algebraically exact category ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. The 2category VAR of finitary varieties is not varietal over CAT . We introduce the concept of an algebraically exact category and prove that the 2category ALG of all algebraically exact categories is an equational hull of VAR w.r.t. all operations with rank. Every algebraically exact category K is complete, exact, and has filtered colimits which (a) commute with finite limits and (b) distribute over products; besides (c) regular epimorphisms in K are productstable. It is not known whether (a)  (c) characterize algebraic exactness. An equational hull of VAR w.r.t. all operations is also discussed. 1.
MONADS AS EXTENSION SYSTEMS —NO ITERATION IS NECESSARY
"... Abstract. We introduce a description of the algebras for a monad in terms of extension systems, similar to the one for monads given in [Manes, 1976]. We rewrite distributive laws for monads and wreaths in terms of this description, avoiding the iteration of the functors involved. We give a profuncto ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We introduce a description of the algebras for a monad in terms of extension systems, similar to the one for monads given in [Manes, 1976]. We rewrite distributive laws for monads and wreaths in terms of this description, avoiding the iteration of the functors involved. We give a profunctorial explanation of why Manes’ description of monads in terms of extension systems works. 1.