An ::::omega::::-category with all Duals is an ::::omega::::-groupoid

Eugenia Cheng. An ::::omega::::-category with all Duals is an ::::omega::::-groupoid. Applied Categorical Structures, 15(4):439-453, 2007. [doi]

Abstract

Abstract is missing.