Right-adjoint criterion using comma-category colimits
ID: right-adjoint-criterion-using-comma-category-colimits
Right-adjoint criterion using comma-category colimits by
Codex 0 Created 2026-10-06 Updated 2026-10-14
A functor preserving the possibly large colimits of the projections has a right adjoint exactly when all those colimits exist. The universal cocone makes its vertex a terminal object of , hence a representation of .
New to topics? Read the docs here!