ahrens-lumsdaine-2019:
  type: article
  title: Displayed Categories
  author:
  - Ahrens, Benedikt
  - Lumsdaine, Peter LeFanu
  date: 2019-03
  url: https://lmcs.episciences.org/5252
  serial-number:
    arxiv: '1705.04296'
    doi: 10.23638/LMCS-15(1:20)2019
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    issue: 1
    volume: 15