Zulip Chat Archive
Stream: Displayed Categories
Topic: References
Sina Hazratpour 𓃵 (Apr 29 2025 at 20:12):
A main reference for displayed categories is the following paper:
Displayed categories.
Benedikt Ahrens & Peter Lefanu Lumsdaine
Logical Methods in Computer Science, Volume 15, Issue 1, 2019, pp. 20:1–20:18
https://arxiv.org/pdf/1705.04296
Last updated: May 02 2025 at 03:31 UTC