P.J. Freyd and A. Scedrov. Categories, Allegories. Mathematical Library, NorthHolland, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Prototyping Relational Specifications Using Higher-Order.. - Berghammer, Gritzner.. (1994) (Correct)
....from the Munich group in the last decade, aiming at a relation algebraic characterization of the kinds of function spaces used in denotational semantics. See [32, 7, 31] Independently of it, an equivalent development, which is rather based on the mentioned notion of topos, is provided in the book [15] by the notion of a power allegory. Powersets: A relation algebraic characterization of the powerset 2 X of a set X can conveniently be done using the is element of relation, see [32, 7] Formally, we call : X SX a powerset relation if (PS 1 ) syq( ae I (PS 2 ) R L syq( R) L ....
Freyd P.J., Scedrov A.: Categories, allegories. Mathematical Library, Vol. 39, North-Holland (1990)
Categorical Logic Of Concurrency And Interaction. I: Synchronous .. - Pavlovic (1995) (1 citation) (Correct)
....an abstract bicategory of relations. This was studied in [26] More general regular fibrations, induced among others, by sites and triposes over C, were studied in [27] Structure. The structural correspondence of regular fibrations and the induced bicategories is rather subtle. In their book [11], Freyd and Scedrov have thoroughly analyzed it for the interval between regular categories and toposes. e.g. the former correspond to unitary tabular allegories [op.cit. sec. 2.154] Carboni and Walters cartesian bicategories [7] accomodate similar analyses, even more general. In the ....
P.J. Freyd and A. Scedrov, Categories, Allegories, Mathematical Library 39 (North-Holland 1990)
Notes on Sconing and Relators - Mitchell, Scedrov (1993) (28 citations) Self-citation (Scedrov) (Correct)
....aspects of programming languages. Abramsky and Jensen [AbJ91] use it for strictness analysis and O Hearn and Tennent [OHT93] use it in studying semantics of local variables. The main mathematical tool used in this work is the category theoretic method of sconing described in Freyd and Scedrov [FrS90] and also called glueing or Freyd covers, see Lambek and Scott [LS86] To our knowledge, the first application of this method to type disciplines is given in Appendix C of Lafont [Laf88] In the case of simple types, this method corresponds closely to so called logical relations, described for ....
....J J J J J J Omega Omega Omega Omega Omega Omega J J J J J J Omega Omega Omega Omega Omega Omega top C top C A remarkable feature of sconing in general is that it preserves almost any additional categorical structure that C might have. For further discussion, see [FrS90], for example. The sconing construction is also discussed in [LS86] and [ScS82] where C is called the Freyd cover of C. We will be concerned with sconing and cartesian closed structure. Proposition 4.1 If C is a cartesian closed category, then C is cartesian closed and the canonical functor ....
P.J. Freyd and A. Scedrov. Categories, Allegories. Mathematical Library, NorthHolland, 1990.
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