ADJUNCTION/
CATEGORY/
FUNCTOR/
LIMIT_CONSTRUCTIONS/
LIMITS/
NT/