Results 1  10
of
28
Models of Sharing Graphs: A Categorical Semantics of let and letrec
, 1997
"... To my parents A general abstract theory for computation involving shared resources is presented. We develop the models of sharing graphs, also known as term graphs, in terms of both syntax and semantics. According to the complexity of the permitted form of sharing, we consider four situations of sha ..."
Abstract

Cited by 62 (10 self)
 Add to MetaCart
To my parents A general abstract theory for computation involving shared resources is presented. We develop the models of sharing graphs, also known as term graphs, in terms of both syntax and semantics. According to the complexity of the permitted form of sharing, we consider four situations of sharing graphs. The simplest is firstorder acyclic sharing graphs represented by letsyntax, and others are extensions with higherorder constructs (lambda calculi) and/or cyclic sharing (recursive letrec binding). For each of four settings, we provide the equational theory for representing the sharing graphs, and identify the class of categorical models which are shown to be sound and complete for the theory. The emphasis is put on the algebraic nature of sharing graphs, which leads us to the semantic account of them. We describe the models in terms of the notions of symmetric monoidal categories and functors, additionally with symmetric monoidal adjunctions and traced
Syntactic Control of Interference Revisited
, 1995
"... In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algollike languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative conc ..."
Abstract

Cited by 40 (6 self)
 Add to MetaCart
In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algollike languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as pcf) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the "obvious" syntax for interference control has the unfortunate property that fireductions do not always preserve typings. Reynolds has subsequently presented a solution to this problem (ICALP, 1989), but it is fairly complicated and requires intersection types in the type system. Here, we present a much simpler solution which does not require intersection types. We first describe a new type system inspired in part by linear logic and verify that reductions preserve typings. We then define a class...
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 23 (6 self)
 Add to MetaCart
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.
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.
Homotopy limits and colimits and enriched homotopy theory
, 2006
"... Abstract. Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equiv ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
Abstract. Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense, thus partially bridging the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of “enriched homotopical categories”, which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of “the role of homotopy in homotopy theory.” Contents
Comparing composites of left and right derived functors
 In preparation
"... Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and rig ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions in 2categories, then gives us canonical ways to compare composites of left and right derived functors. Contents
Opmonoidal Monads
, 2002
"... Hopf monads are identified with monads in the 2category OpMon of monoidal categories, opmonoidal functors and transformations. Using EilenbergMoore objects, it is shown that for a Hopf monad S, the categories Alg(Coalg(S)) and Coalg(Alg(S)) are canonically isomorphic. The monadic arrows OpMon are ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Hopf monads are identified with monads in the 2category OpMon of monoidal categories, opmonoidal functors and transformations. Using EilenbergMoore objects, it is shown that for a Hopf monad S, the categories Alg(Coalg(S)) and Coalg(Alg(S)) are canonically isomorphic. The monadic arrows OpMon are then characterized. Finally, the theory of multicategories and a generalization of structure and semantics are used to identify the categories of algebras of Hopf monads.
Framed Bicategories and Monoidal Fibrations
, 2007
"... Abstract. In some bicategories, the 1cells are ‘morphisms ’ between the 0cells, such as functors between categories, but in others they are ‘objects ’ over the 0cells, such ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Abstract. In some bicategories, the 1cells are ‘morphisms ’ between the 0cells, such as functors between categories, but in others they are ‘objects ’ over the 0cells, such
Multiplicative Properties of the Slice Filtration
"... Let S be a Noetherian separated scheme of finite Krull dimension, and let SH(S) denote the motivic stable homotopy category of Morel and Voevodsky. In order to get a motivic version of the Postnikov tower, Voevodsky [Voe02] constructs a filtered family of triangulated subcategories of SH(S): ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Let S be a Noetherian separated scheme of finite Krull dimension, and let SH(S) denote the motivic stable homotopy category of Morel and Voevodsky. In order to get a motivic version of the Postnikov tower, Voevodsky [Voe02] constructs a filtered family of triangulated subcategories of SH(S):