A Categorical Equivalence Motivated by Kalman's Construction

Marta Sagastume, Hernán Javier San Martín. A Categorical Equivalence Motivated by Kalman's Construction. Studia Logica, 104(2):185-208, 2016. [doi]

Abstract

Abstract is missing.