A. Simpson. A characterization of the least-xed-point operator by dinaturality. Theoretical Computer Science, 118:301-314, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Categories of Processes Enriched in Final Coalgebras - Krstic, Launchbury, Pavlovic (2001) (2 citations) (Correct)
....Over any category of hyperdomains, the operator Y is dinatural. For de nition of dinaturality and the fact that all dinatual operators of type (A ) A) A are necessarily xpoint operators we refer to [BFSS90] and [SP00] The equation (3) follows by combining Theorem 3 with a theorem of Simpson [Sim93] implying that the least xpoint operator in standard categories of domains is the only dinatural xpoint operator. Another consequence of Theorem 3 is that the existence of hyperfunction coalgebras does not imply the isomorphisms [A; B] B; A] B; a counterexample can be found using the ....
A. Simpson. A characterization of the least-xed-point operator by dinaturality. Theoretical Computer Science, 118:301-314, 1993.
Feedback for Linearly Distributive Categories: Traces and.. - Blute, Cockett, Seely (1999) (1 citation) (Correct)
....a basis for the construction of a trace. Of course, these two di erent trace structures are not compatible (in the sense of Section 3) and indeed we shall show that two compatible trace structures must coincide. Similar observations have been noted in a slightly di erent setting by Alex Simpson [S93]. There are many di erent notions of feedback, and one might remark that they need not all satisfy the axioms demanded of a trace in the sense of [JSV96] For example, the main (indeed, only) non structural trace axiom is yanking (Section 2) which says that feedback on the switch map is the ....
A.K. Simpson \A characterization of least-xed-point operator by dinaturality", Theoretical Computer Science, 118 (1993) 301-314.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC