An Internal Logic of Virtual Double Categories. - Hayato Nasu (CoRR, 2024)

Double Categories of Relations Relative to Factorisation Systems. - Keisuke Hoshino; Hayato Nasu (Appl. Categorical Struct., 2025)