In this talk we study the category of algebras for a monad on the category of reflexive globular sets which adjoins new cells in accordance with the rules of intensional Martin-Lof type theory. In particular, we describe the connection between the category of algebras for a 1-truncated version of the theory and the category of groupoids.