Talk Conexus: Categorical Informatics at Scale

Abstract