Ieke Moerdijk - PDFSEARCH.IO - Document Search Engine

Ieke Moerdijk
Results: 10

#	Item
1	W-types in sheaves Benno van den Berg & Ieke Moerdijk September 25, 2008 Abstract In this small note we give a concrete description of W-types in categories of sheaves. Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
2	FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and Proofs Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-07 16:07:58
3	Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg & Ieke Moerdijk 7 Dec, Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
4	Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
5	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
6	Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
7	A Unified Approach to Algebraic Set Theory Benno van den Berg ∗ Ieke Moerdijk† Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
8	Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg∗ & Ieke Moerdijk† September 29, 2011 Abstract Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:29:16
9	Remise du Prix Descartes Huygens à François Hammer, astronome français et Ieke Moerdijk, mathématicien néerlandais, le mardi 3 avrilCommuniqué de presse Add to Reading List Source URL: www.academie-sciences.fr Language: French - Date: 2012-03-19 05:38:41
10	Theory and Applications of Categories, Vol. 27, 2012, page 1 INTRODUCTION The International Category Theory Conference (CT2011) was held on the University of British Columbia campus in Vancouver, Canada, during July 17- Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-20 15:04:00 William Lawvere Ronald Brown Category theory Category of sets Ieke Moerdijk Mathematics Michael Barr Higher category theory

UPDATE