displayed category

Last updated May 2, 2024

• displayed functor

References.

• Displayed Categories (Ahrens, Lumsdaine, 2019)

Tags: formal category theory.