model category

for ∞-groupoids

# Contents

## Idea

The Grothendieck construction may be lifted from categories to model categories, where is is (or should) serve as a presentation for the (infinity,1)-Grothendieck construction.

## References

The first model category version of the Grothendieck construction was given in