WorldCat Identities

Moerdijk, Ieke

Overview
Works: 57 works in 168 publications in 4 languages and 3,989 library holdings
Roles: Thesis advisor
Classifications: QA613.62, 514.72
Publication Timeline
Key
Publications about  Ieke Moerdijk Publications about Ieke Moerdijk
Publications by  Ieke Moerdijk Publications by Ieke Moerdijk
Most widely held works by Ieke Moerdijk
Introduction to foliations and Lie groupoids by Ieke Moerdijk ( )
16 editions published between 2003 and 2008 in English and Italian and held by 1,325 WorldCat member libraries worldwide
This book gives a quick introduction to the theory of foliations and Lie groupoids. It is based on the authors' extensive teaching experience and contains numerous examples and exercises making it ideal either for independent study or as the basis of a graduate course
Algebraic set theory by André Joyal ( )
15 editions published between 1995 and 2002 in English and Undetermined and held by 824 WorldCat member libraries worldwide
This book offers a new, algebraic, approach to set theory
Classifying spaces and classifying topoi by Ieke Moerdijk ( Book )
18 editions published in 1995 in English and held by 447 WorldCat member libraries worldwide
This monograph presents a new, systematic treatment of the relation between classifying topoi and classifying spaces of topological categories. Using a new generalized geometric realization which applies to topoi, a weak homotopy equival- ence is constructed between the classifying space and the classifying topos of any small (topological) category. Topos theory is then applied to give an answer to the question of what structures are classified by "classifying" spaces. The monograph should be accessible to anyone with basic knowledge of algebraic topology, sheaf theory, and a little topos theory
Sheaves in geometry and logic : a first introduction to topos theory by Saunders Mac Lane ( Book )
18 editions published between 1992 and 2010 in 3 languages and held by 407 WorldCat member libraries worldwide
An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic
Simplicial methods for operads and algebraic geometry by Ieke Moerdijk ( )
15 editions published in 2010 in English and held by 397 WorldCat member libraries worldwide
"This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures delivered at the Centre de Recerca Matemàtica in February 2008, as part of a special year on Homotopy Theory and Higher Categories"--Foreword
Models for smooth infinitesimal analysis by Ieke Moerdijk ( Book )
14 editions published between 1991 and 2011 in English and held by 259 WorldCat member libraries worldwide
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained
Proper maps of toposes by Ieke Moerdijk ( Book )
9 editions published in 2000 in English and held by 231 WorldCat member libraries worldwide
We develop the theory of compactness of maps between toposes, together with associated notions of separatedness. This theory is built around two versions of "propriety" for topos maps, introduced here in a parallel fashion. The first, giving what we simply call "proper" maps, is a relatively weak condition due to Johnstone. The second kind of proper maps, here called "tidy", satisfy a stronger condition due to Tierney and Lindgren. Various forms of the Beck-Chevalley condition for (lax) fibered product squares of toposes play a central role in the development of the theory. Applications include a version of the Reeb stability theorem for toposes, a characterization of hyperconnected Hausdorff toposes as classifying toposes of compact groups, and of strongly Hausdorff coherent toposes as classifiying toposes of profinite groupoids. Our results also enable us to develop further particular aspects of the factorization theory of geometric morphisms studied by Johnstone. Our final application is a (so-called lax) descent theorem for tidy maps between toposes. This theorem implies the lax descent theorem for coherent toposes, conjectured by Makkai and proved earlier by Zawadowski
Classical finite transformation semigroups an introduction by Olexandr Ganyushkin ( )
1 edition published in 2009 in English and held by 13 WorldCat member libraries worldwide
Offers a self-contained introduction to the modern theory of finite transformation semigroups. This book covers topics such as: transformations and semigroups, ideals and Green's relations, subsemigroups, congruences, endomorphisms, nilpotent subsemigroups, presentations, actions on sets, linear representations, cross-sections and variants
Morphological features and conditions on rules in Montague grammar by Fred Landman ( Book )
2 editions published in 1981 in English and held by 12 WorldCat member libraries worldwide
Topics in intuitionism and topos theory by Ieke Moerdijk ( Book )
1 edition published in 1985 in English and held by 9 WorldCat member libraries worldwide
Category theory and its applications : dedicated to professor Bill Lawvere ( Book )
1 edition published in 2000 in English and held by 3 WorldCat member libraries worldwide
A definiability theorem for first order logic by Carsten Butz ( Book )
3 editions published in 1997 in English and held by 3 WorldCat member libraries worldwide
Local equivalence relations and their sheaves by Anders Kock ( Book )
2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide
Local maps of Grothendieck toposes : preprint by Ieke Moerdijk ( Book )
2 editions published in 1986 in English and held by 2 WorldCat member libraries worldwide
Continuous fibrations and inverse limits of toposes by Ieke Moerdijk ( Book )
2 editions published in 1984 in English and held by 2 WorldCat member libraries worldwide
Remarks on the theory of semi-functors by R Hoofman ( Book )
2 editions published in 1993 in English and held by 2 WorldCat member libraries worldwide
Bol van wiskunde by Ieke Moerdijk ( Book )
1 edition published in 2008 in Dutch and held by 2 WorldCat member libraries worldwide
Cohomology theories in synthetic differential geometry by Ieke Moerdijk ( Book )
2 editions published in 1983 in English and held by 2 WorldCat member libraries worldwide
Presentations of étendues by Anders Kock ( Book )
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
On the relation between connections and sprays by Ieke Moerdijk ( Book )
2 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.00 for A definiab ... to 0.88 for Models for ...)
Alternative Names
Moerdijk, I.
Moerdijk, I. 1958-
Moerdijk, I. (Ieke)
Moerdijk, I. (Ieke), 1958-
Moerdijk, I. (Izak)
Moerdijk, Ieke
Moerdijk, Izak.
Moerdijk, Izak 1958-
Languages
English (121)
Italian (2)
Dutch (1)
German (1)
Covers