nLab Bart Jacobs

• papers

Selected writings

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

• Bart Jacobs, Comprehension categories and the semantics of type dependency, Theoret. Comput. Sci. 107 2 (1993) 169-207 [MR1201808, doi:10.1016/0304-3975(93)90169-T]

• Bart Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, Elsevier (1998) [ISBN:978-0-444-50170-7, pdf, webpage]

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

• Bart Jacobs, Coalgebraic trace semantics for combined possibilitistic and probabilistic systems, Proceedings of CMCS 2008, ENTCS 203 5 (2008) 131-152 [doi:10.1016/j.entcs.2008.05.023]

On CD-categories (gs-monoidal categories):

• Kenta Cho, Bart Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 7 (2019) 938-971 [arXiv:1709.00322, doi:10.1017/S0960129518000488]

Related pages

• definability (fibred category theory)

category: people