TY - RPRT TI - De Finetti's construction as a categorical limit AU - Bart Jacobs AU - Sam Staton PY - 2020 UR - https://arxiv.org/abs/2003.01964 ID - 2003.01964 ER -