Joyal, Andr e & Moerdijk, Ieke. Algebraic Set Theory . Nr. 220 in LMS Lecture Note Series. Cambridge University Press, 1995 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Presheaf Semantics of Value-Passing Processes - Winskel (1996) (16 citations) (Correct)
....on . The lift operation extends in the obvious way to a functor which gives an equivalence between P and the subcategory of rooted presheaves over P ; on maps h in P, lift(h) is open iff h is surjective open. These remarks are useful in another context, that of algebraic set theory see [10], p. 72. 3 A domain theoretic setting In proposing categories of presheaves as our domains of processes we are leaving domain theory as traditionally understood; processes are denoted by presheaves, objects in a category rather than elements of a partial order. This is not new; several ....
Joyal, A., and Moerdijk, I., Algebraic set theory. LMS Lecture Notes Series 220, Cambridge University Press, 1995.
Sheaf Models for Set Theory and Independence Proofs - an.. - Eppenschwandtner (2002) Self-citation (Set) (Correct)
....will deepen the insight as [BV02] indicates. 8 ZF algebras Algebraic Set Theory Much of the internal logic of a topos described on page 4 can be realized in a Heyting pretopos, a weaker notion. Also a recent method of Andr e Joyal and Ieke Moerdijk for a construction of ZF models from topoi ([JM95, Moe98, MP02]) can be carried out in a Heyting pretopos. In this approach one equips a Heyting pretopos with additional structure, a class S of small maps . This class is given by a set of elementary axioms, see [JM95, pp. 6 8] Intuitively one should think of maps with small bers f (fig) Using the ....
Joyal, Andr e & Moerdijk, Ieke. Algebraic Set Theory . Nr. 220 in LMS Lecture Note Series. Cambridge University Press, 1995
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