Results 1  10
of
152
Membership Algebra as a Logical Framework for Equational Specification
, 1998
"... This paper proposes membership equational logica Horn logic in which the basic predicates are equations t = t 0 and membership assertions t : s stating that a term t belongs to a sort sas a logical framework in which a very wide range of total and partial equational specification formalisms ..."
Abstract

Cited by 142 (45 self)
 Add to MetaCart
This paper proposes membership equational logica Horn logic in which the basic predicates are equations t = t 0 and membership assertions t : s stating that a term t belongs to a sort sas a logical framework in which a very wide range of total and partial equational specification formalisms can be naturally represented. Key features of this logic include: simplicity, liberality and equational character; generality and expressiveness in supporting subsorts, overloading, errors and partiality; and efficient implementability in systems such as Maude. The paper presents the basic properties of the logic and its models, and discusses in detail how many total and partial equational specification formalisms, including ordersorted algebra and partial membership equational logic, can be represented in it, as well as the practical benefits in terms of tool reusability that this opens up for other languages, including CASL. Table of Contents 1
Stable model categories are categories of modules
 TOPOLOGY
, 2003
"... A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for ..."
Abstract

Cited by 78 (16 self)
 Add to MetaCart
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard’s work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R.
Model Theory and Modules
, 2006
"... The modeltheoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their modeltheoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se ..."
Abstract

Cited by 64 (20 self)
 Add to MetaCart
The modeltheoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their modeltheoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se. Our default is that the term “module ” will mean (unital) right module over a ring (associative with 1) R. The category of such modules is denoted ModR, the full subcategory of finitely presented modules will be denoted modR, the
Combinatorial model categories have presentations
 Adv. in Math. 164
, 2001
"... Abstract. We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where ‘diagram category’ means diagrams of simplicial sets). This says that every combinatorial model ..."
Abstract

Cited by 52 (7 self)
 Add to MetaCart
Abstract. We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where ‘diagram category’ means diagrams of simplicial sets). This says that every combinatorial model
Higher topos theory
, 2006
"... Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain com ..."
Abstract

Cited by 47 (0 self)
 Add to MetaCart
Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of Gvalued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category
Presheaf Models for Concurrency
, 1999
"... In this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range of concurrent process calculi. Bisimilarity is defined abstractly in terms of open maps as in the work of Joyal, Nielsen and Winskel. Their wo ..."
Abstract

Cited by 45 (19 self)
 Add to MetaCart
In this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range of concurrent process calculi. Bisimilarity is defined abstractly in terms of open maps as in the work of Joyal, Nielsen and Winskel. Their work inspired this thesis by suggesting that presheaf categories could provide abstract models for concurrency with a builtin notion of bisimulation. We show how
Universal homotopy theories
 Adv. Math
"... Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a ‘universal model category built from C’. We describe applications of this to the study of homotopy colimits, the DwyerKan theory of framings, to sheaf theory, and to the homotopy the ..."
Abstract

Cited by 38 (3 self)
 Add to MetaCart
Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a ‘universal model category built from C’. We describe applications of this to the study of homotopy colimits, the DwyerKan theory of framings, to sheaf theory, and to the homotopy theory of schemes. Contents
A Presheaf Semantics of ValuePassing Processes
, 1996
"... This paper investigates presheaf models for process calculi with value passing. Denotational semantics in presheaf models are shown to correspond to operational semantics in that bisimulation obtained from open maps is proved to coincide with bisimulation as defined traditionally from the operat ..."
Abstract

Cited by 33 (18 self)
 Add to MetaCart
This paper investigates presheaf models for process calculi with value passing. Denotational semantics in presheaf models are shown to correspond to operational semantics in that bisimulation obtained from open maps is proved to coincide with bisimulation as defined traditionally from the operational semantics. Both "early" and "late" semantics are considered, though the more interesting "late" semantics is emphasised. A presheaf model and denotational semantics is proposed for a language allowing process passing, though there remains the problem of relating the notion of bisimulation obtained from open maps to a more traditional definition from the operational semantics.
HZalgebra spectra are differential graded algebras
 Amer. Jour. Math
, 2004
"... Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZalgebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZalgebra spectra. We also construct Qu ..."
Abstract

Cited by 32 (10 self)
 Add to MetaCart
Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZalgebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZalgebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Qalgebra (with many objects). 1.