Results 11  20
of
204
Operads In HigherDimensional Category Theory
, 2004
"... The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak ncategory. Included is a full explanation of why the proposed definition of ncategory is a reasonable one, and of what happens when n < ..."
Abstract

Cited by 38 (2 self)
 Add to MetaCart
(Show Context)
The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak ncategory. Included is a full explanation of why the proposed definition of ncategory is a reasonable one, and of what happens when n <= 2. Generalized operads and multicategories play other parts in higherdimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to ncategories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.
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 38 (4 self)
 Add to MetaCart
(Show Context)
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 &quot;strongly separable &quot; Frobenius algebras and &quot;weak monoidal Morita equivalence&quot;. Wreath products of Frobenius algebras are discussed.
A dialecticalike model of linear logic
 In Proc. Conf. on Category Theory and Computer Science, LNCS 389
, 1989
"... The aim of this work is to define the categories GC, describe their categorical structure and show they are a model of Linear Logic. The second goal is to relate those categories to the Dialectica categories DC, cf.[DCJ, using different functors for the exponential “of course”. It is hoped that this ..."
Abstract

Cited by 33 (6 self)
 Add to MetaCart
The aim of this work is to define the categories GC, describe their categorical structure and show they are a model of Linear Logic. The second goal is to relate those categories to the Dialectica categories DC, cf.[DCJ, using different functors for the exponential “of course”. It is hoped that this categorical model of Linear Logic should help us to get a better understanding of the logic, which is, perhaps, the first nonintuitionistic constructive logic. This work is divided in two parts, each one with 3 sections. The first section shows that GC is a monoidal closed category and describes bifunctors for tensor “0”, internal horn “[—, —]“, par “u”, cartesian products “& “ and coproducts “s”. The second section defines linear negation as a contravariant functor obtained evaluating the internal horn bifunctor at a “dualising object”. The third section makes explicit the connections with Linear Logic, while the fourth introduces the comonads used to model the connective “of course”. Section 5 discusses some properties of these cornonads and finally section 6 makes the logical connections once more. This work grew out of suggestions of J.Y. Girard at the AMSConference on Categories, Logic and Computer Science in Boulder 1987, where I presented my earlier work on the Dialectica categories, hence the title. Still on the lines of given credit where it is due, I would like to say that Martin Hyland, under whose supervision this work was written, has been a continuous source of ideas and inspiration. Many heartfelt thanks to him. 1. The main definitions We start with a finitely complete category C. Then to describe GC say that its objects are relations on objects of C, that is monics A ~ U x X, which we usually write as (U ~ X). Given two such objects, (U ~ X) and (V L Y), which we call simply A and B, a morphism from A to B consists of a pair of maps in C, f: U — * V and F 4 Y —+ X, such that a pullback condition is satisfied, namely that where (~~)_1 represents puilbacks. (U x F) 1 (o~) ~ (f x Y) 1 (/3), (1) 342 Using diagrams, we say (f,F) is a morphism in GC if there is a (unique) map in ~, k: A ’ —~B ’ making the triangle commute: a~I Ia
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 28 (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
Domain theory for concurrency
, 2003
"... Concurrent computation can be given an abstract mathematical treatment very similar to that provided for sequential computation by domain theory and denotational semantics of Scott and Strachey. ..."
Abstract

Cited by 28 (6 self)
 Add to MetaCart
(Show Context)
Concurrent computation can be given an abstract mathematical treatment very similar to that provided for sequential computation by domain theory and denotational semantics of Scott and Strachey.
Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
 Mem. Amer. Math. Soc
"... The purpose of this paper is to work out the categorical basis for the foundations of Conformal Field Theory. The definition of Conformal Field Theory was outlined in Segal [45] and recently given in [24] and [25]. Concepts of 2category theory, such as versions of algebra, limit, colimit, and adjun ..."
Abstract

Cited by 28 (11 self)
 Add to MetaCart
(Show Context)
The purpose of this paper is to work out the categorical basis for the foundations of Conformal Field Theory. The definition of Conformal Field Theory was outlined in Segal [45] and recently given in [24] and [25]. Concepts of 2category theory, such as versions of algebra, limit, colimit, and adjunction, are necessary for this
MAPPING F1LAND: AN OVERVIEW OF GEOMETRIES OVER THE FIELD WITH ONE ELEMENT
, 2009
"... This paper gives an overview of the various approaches towards F1geometry. In a first part, we review all known theories in literature so far, which are: Deitmar’s F1schemes, Toën and Vaquié’s F1schemes, Haran’s Fschemes, Durov’s generalized schemes, Soulé’s varieties over F1 as well as his and ..."
Abstract

Cited by 26 (3 self)
 Add to MetaCart
This paper gives an overview of the various approaches towards F1geometry. In a first part, we review all known theories in literature so far, which are: Deitmar’s F1schemes, Toën and Vaquié’s F1schemes, Haran’s Fschemes, Durov’s generalized schemes, Soulé’s varieties over F1 as well as his and ConnesConsani’s variations of this theory, Connes and Consani’s F1schemes, the author’s torified varieties and Borger’s Λschemes. In a second part, we will tie up these different theories by describing functors between the different F1geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F1geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author’s constructions that lead to realization of T its’ idea about Chevalley groups over F1.
A congruence rule format for namepassing process calculi from mathematical structural operational semantics
 In Proc. LICS’06
, 2006
"... We introduce a GSOSlike rule format for namepassing process calculi. Specifications in this format correspond to theories in nominal logic. The intended models of such specifications arise by initiality from a general categorical model theory. For operational semantics given in this rule format, a ..."
Abstract

Cited by 26 (5 self)
 Add to MetaCart
(Show Context)
We introduce a GSOSlike rule format for namepassing process calculi. Specifications in this format correspond to theories in nominal logic. The intended models of such specifications arise by initiality from a general categorical model theory. For operational semantics given in this rule format, a natural behavioural equivalence — a form of open bisimilarity — is a congruence.
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 26 (2 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.