2-adjoint equivalences in homotopy type theory. - Daniel Carranza; Jonathan Chang; Chris Kapulkin; Ryan Sandford (Log. Methods Comput. Sci., 2021)

Nonexistence of Colimits in Naive Discrete Homotopy Theory. - Daniel Carranza; Krzysztof Kapulkin; Jinho Kim (Appl. Categorical Struct., 2023)