displayed functor References. Displayed Categories (Ahrens, Lumsdaine, 2019) Tags: formal category theory.
