nLab Bart Jacobs

Selected writings

On dependent type theory and its categorical semantics (categorical semantics of dependent types):

On category theoretic probability theory (cf. convex powerset of distributions monad):

On CD-categories (gs-monoidal categories):

category: people

Last revised on December 20, 2023 at 11:54:19. See the history of this page for a list of all contributions to it.