Page "Categorical adjunction" not found :(