Double Homotopy (Co)Limits for Relative Categories - Kay Werndli (2017)