We construct a functor KG which takes each pair of monoidal G-graded categories (D,Df) to an infinite loop G-space KG(D,D'). When D'=D, its homotopy groups n%KG(D,D) coincide with the equivariant… Expand

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a… Expand

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre… Expand

We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the… Expand