>>491 >>351 See: > https://arxiv.org/abs/1802.06221 I don't get it all. I understand what set theory and type-theory is about... but I don't get Categories... :-(