A Type Theory for Comprehension Categories with Applications to Subtyping. - Niyousha Najmaei; Niels van der Weide; Benedikt Ahrens; Paige Randall North (CoRR, 2025)