Write a presheaf on as an arrow . Evaluation has the displayed chain, where , , and . The Hom-set bijections follow by solving the commuting-square equation. The functor has no right adjoint because it fails to preserve the initial object: is not .
Articles by others on the same topic
There are currently no matching articles.