#### Filter Results:

- Full text PDF available (39)

#### Publication Year

1983

2017

- This year (5)
- Last 5 years (7)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ieke Moerdijk, Erik Palmgren
- Ann. Pure Appl. Logic
- 2000

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.

- Ieke Moerdijk
- 2002

The purpose of this paper is to describe orbifolds in terms of (a certain kind of) groupoids. In doing so, I hope to convince you that the theory of (Lie) groupoids provides a most convenient language for developing the foundations of the theory of orbifolds. Indeed, rather than defining all kinds of structures and invariants in a seemingly ad hoc way,… (More)

- Ieke Moerdijk
- Ann. Pure Appl. Logic
- 1995

This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.

- Ieke Moerdijk, Erik Palmgren
- Ann. Pure Appl. Logic
- 2002

- Ieke Moerdijk, Erik Palmgren
- J. Symb. Log.
- 1997

- André Joyal, Ieke Moerdijk
- Ann. Pure Appl. Logic
- 1994

This paper provides a partial solution to the completeness problem for Joyal’s axiomatization of open and etale maps, under the additional assumption that a collection axiom (related to the set-theoretical axiom with the same name) holds. In many categories of geometric objects, there are natural classes of open maps, of proper maps and of etale maps. Some… (More)

Étale groupoids arise naturally as models for leaf spaces of foliations, for orbifolds, and for orbit spaces of discrete group actions. In this paper we introduce a sheaf homology theory for étale groupoids. We prove its invariance under Morita equivalence, as well as Verdier duality between Haefliger cohomology and this homology. We also discuss the… (More)

Categorical logic studies the relation between category theory and logical languages, and provides a very efficient framework in which to treat the syntax and the model theory on an equal footing. For a given theory T formulated in a suitable language, both the theory itself and its models can be viewed as categories with structure, and the fact that the… (More)

- I. Moerdijk
- 1999

We give a universal construction of families of Hopf P-algebras for any Hopf operad P. As a special case, we recover the Connes-Kreimer Hopf algebra of rooted trees.