Akrur Behera

• Homotopy theory in groupoid enriched categories