Results 11  20
of
105
On a Duality of Quantales emerging from an Operational Resolution
 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
, 1997
"... We introduce the notion of operational resolution, i.e., an isotone map from a powerset to a poset that meets two additional conditions, which generalizes the description of states as the atoms in a property lattice (Piron, 1976 and Aerts, 1982) or as the underlying set of a closure operator (Aerts, ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
We introduce the notion of operational resolution, i.e., an isotone map from a powerset to a poset that meets two additional conditions, which generalizes the description of states as the atoms in a property lattice (Piron, 1976 and Aerts, 1982) or as the underlying set of a closure operator (Aerts, 1994 and Moore, 1995). We study the structure preservance of the related state transitions and show how the operational resolution constitutes an epimorphism between two unitary quantales.
Algebraic theories in homotopy theory
 Annals of Math
"... It is well known in homotopy theory that given a loop space X one can always find a simplicial group G weakly equivalent to X, such that the weak equivalence can be realized by maps preserving multiplication. It is also known that loop spaces are not the only class of spaces for which result of this ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
It is well known in homotopy theory that given a loop space X one can always find a simplicial group G weakly equivalent to X, such that the weak equivalence can be realized by maps preserving multiplication. It is also known that loop spaces are not the only class of spaces for which result of this kind holds; for example, any
Homotopy theory of comodules over a Hopf algebroid
, 2003
"... Given a good homology theory E and a topological space X, E∗X is not just an E∗module but also a comodule over the Hopf algebroid (E∗, E∗E). We establish a framework for studying the homological algebra of comodules over a wellbehaved Hopf algebroid (A, Γ). That is, we construct ..."
Abstract

Cited by 13 (3 self)
 Add to MetaCart
Given a good homology theory E and a topological space X, E∗X is not just an E∗module but also a comodule over the Hopf algebroid (E∗, E∗E). We establish a framework for studying the homological algebra of comodules over a wellbehaved Hopf algebroid (A, Γ). That is, we construct
On The Duality Between Varieties And Algebraic Theories
"... . Every variety V of finitary algebras is proved to have an essentially unique algebraic theory Th(V) which is Cauchy complete, i.e. all idempotents split in Th(V). This defines a duality between varieties (and algebraically exact functors) and Cauchy complete theories (and theory morphisms). Algebr ..."
Abstract

Cited by 12 (2 self)
 Add to MetaCart
. Every variety V of finitary algebras is proved to have an essentially unique algebraic theory Th(V) which is Cauchy complete, i.e. all idempotents split in Th(V). This defines a duality between varieties (and algebraically exact functors) and Cauchy complete theories (and theory morphisms). Algebraically exact functors are precisely the right adjoints preserving filtered colimits and regular epimorphisms; or, more succintly: the functors preserving limits and sifted colimits.
Presheaf Models for the piCalculus
, 1997
"... Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the p ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the picalculus, a calculus for `mobile processes' whose communication topology varies as channels are created and discarded. A denotational semantics is described for the picalculus within an indexed category of profunctors; the model is fully abstract for bisimilarity, in the sense that bisimulation in the model, obtained from open maps, coincides with the usual bisimulation obtained from the operational semantics of the picalculus. While attention is concentrated on the `late' semantics of the picalculus, it is indicated how the `early' and other variants can also be captured.
Iterated wreath product of the simplex category and iterated loop spaces
 Adv. Math
"... Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternat ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
Abstract. Generalising Segal’s approach to 1fold loop spaces, the homotopy theory of nfold loop spaces is shown to be equivalent to the homotopy theory of reduced Θnspaces, where Θn is an iterated wreath product of the simplex category ∆. A sequence of functors from Θn to Γ allows for an alternative description of the Segal spectrum associated to a Γspace. In particular, each EilenbergMacLane space has a canonical reduced Θnset model. The number of (n + d)dimensional cells of the resulting CWcomplex of type K(Z/2Z, n) is a generalised Fibonacci number.
The microcosm principle and concurrency in coalgebras
 I. HASUO, B. JACOBS, AND A. SOKOLOVA
, 2008
"... Coalgebras are categorical presentations of statebased systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same algebraic theory is interpreted in two different domains in a nested manner, namely: in the category of coalgebras, and in the final ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
Coalgebras are categorical presentations of statebased systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same algebraic theory is interpreted in two different domains in a nested manner, namely: in the category of coalgebras, and in the final coalgebra as an object in it. This phenomenon is what Baez and Dolan have called the microcosm principle, a prototypical example of which is “a monoid in a monoidal category.” In this paper we obtain a formalization of the microcosm principle in which such a nested model is expressed categorically as a suitable lax natural transformation. An application of this account is a general compositionality result which supports modular verification of complex systems.
Flow does not model flows up to weak dihomotopy
 Applied Categorical Structures
, 2005
"... In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of a locally presentable ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of a locally presentable