Results 1  10
of
3,999
Domain Theory
 Handbook of Logic in Computer Science
, 1994
"... Least fixpoints as meanings of recursive definitions. ..."
Abstract

Cited by 546 (25 self)
 Add to MetaCart
Least fixpoints as meanings of recursive definitions.
Homological Algebra of Mirror Symmetry
 in Proceedings of the International Congress of Mathematicians
, 1994
"... Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual Ca ..."
Abstract

Cited by 529 (3 self)
 Add to MetaCart
Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual CalabiYau manifolds V, W of dimension n (not necessarily equal to 3) one has dim H p (V, Ω q) = dim H n−p (W, Ω q). Physicists conjectured that conformal field theories associated with mirror varieties are equivalent. Mathematically, MS is considered now as a relation between numbers of rational curves on such a manifold and Taylor coefficients of periods of Hodge structures considered as functions on the moduli space of complex structures on a mirror manifold. Recently it has been realized that one can make predictions for numbers of curves of positive genera and also on CalabiYau manifolds of arbitrary dimensions. We will not describe here the complicated history of the subject and will not mention many beautiful contsructions, examples and conjectures motivated
A Tutorial on (Co)Algebras and (Co)Induction
 EATCS Bulletin
, 1997
"... . Algebraic structures which are generated by a collection of constructors like natural numbers (generated by a zero and a successor) or finite lists and trees are of wellestablished importance in computer science. Formally, they are initial algebras. Induction is used both as a definition pr ..."
Abstract

Cited by 269 (36 self)
 Add to MetaCart
principle, and as a proof principle for such structures. But there are also important dual "coalgebraic" structures, which do not come equipped with constructor operations but with what are sometimes called "destructor" operations (also called observers, accessors, transition maps
An Axiomatics for Categories of Transition Systems as Coalgebras
, 1998
"... We consider a finitely branching transition system as a coalgebra for an endofunctor on the category Set of small sets. A map in that category is a functional bisimulation. So, we study the structure of the category of finitely branching transition systems and functional bisimulations by proving ge ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
We consider a finitely branching transition system as a coalgebra for an endofunctor on the category Set of small sets. A map in that category is a functional bisimulation. So, we study the structure of the category of finitely branching transition systems and functional bisimulations by proving
Coalgebraic Logic
 Annals of Pure and Applied Logic
, 1999
"... We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every modelworld pair is characterized up to bisimulation by an infinitary formula. The ..."
Abstract

Cited by 108 (0 self)
 Add to MetaCart
We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every modelworld pair is characterized up to bisimulation by an infinitary formula
An Axiomatics for Categories of Coalgebras
, 1998
"... We give an axiomatic account of what structure on a category C and an endofunctor H on C yield similar structure on the category H0Coalg of Hcoalgebras. We give conditions under which completeness, cocompleteness, symmetric monoidal closed structure, local presentability, and subobject classifiers ..."
Abstract

Cited by 22 (1 self)
 Add to MetaCart
classifiers lift. Our proof of the latter uses a general result about the existence of a subobject classifier in a category containing a small dense subcategory. Our leading example has C = Set with H the endofunctor for which a coalgebra is a finitely branching (labelled) transition system. We explain
On Tree Coalgebras and Coalgebra Presentations
"... For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the final coalgebra) turns out to represent a new coalgebra At. The universal property of these coalgebras, resembling freeness, is that for every state s of every system S there exists a unique ..."
Abstract
 Add to MetaCart
For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the final coalgebra) turns out to represent a new coalgebra At. The universal property of these coalgebras, resembling freeness, is that for every state s of every system S there exists a unique
Duality for Some Categories of Coalgebras
 Algebra Universalis
, 2001
"... A contravariant duality is constructed between the category of coalgebras of a given signature, and a category of Boolean algebras with operators, including modal operators corresponding to state transitions in coalgebras, and distinguished elements abstracting the sets of states defined by observab ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
A contravariant duality is constructed between the category of coalgebras of a given signature, and a category of Boolean algebras with operators, including modal operators corresponding to state transitions in coalgebras, and distinguished elements abstracting the sets of states defined
FINAL COALGEBRAS IN ACCESSIBLE CATEGORIES
, 905
"... Abstract. We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in ..."
Abstract
 Add to MetaCart
Abstract. We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra
A Calculus of Transition Systems (towards Universal Coalgebra)
 In Alban Ponse, Maarten de Rijke, and Yde Venema, editors, Modal Logic and Process Algebra, CSLI Lecture Notes No
, 1995
"... By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: \Sigmaalgebra, homomorphism, and substitutive relation (or congruence). ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: \Sigmaalgebra, homomorphism, and substitutive relation (or congruence
Results 1  10
of
3,999