@misc{indiciaedd7ec3cc441a,
  title = {Iterated icons},
  author = {Eugenia Cheng and Nick Gurski},
  year = {2013},
  url = {https://arxiv.org/abs/1308.6495},
  note = {Source identifier: 1308.6495}
}