shulman-2021-the:
  type: misc
  title: The derivator of setoids
  author: Shulman, Michael
  date: 2021-05
  serial-number:
    arxiv: '2105.08152'