• Tags
  • #higher-algebra
• Refs:
  • #todo/add-references
• Links:
  • presentation of a category
  • adjoint functor theorem
  • accessible functor
  • local objects in a category

presentable category

A special form of the adjoint functor theorem when all categories invovled are presentable: