TY - RPRT TI - Category Theory with Stratified Set Theory AU - Thomas Forster AU - Adam Lewicki AU - Alice Vidrine PY - 2019 UR - https://arxiv.org/abs/1911.04704 ID - 1911.04704 ER -