Hi everyone!
I’ve created relative adjoint functor, and linked to it from the local definition of adjoint functor (a partially defined adjoint yields an adjoint relative to the inclusion of a full subcategory).
and is as far as I know nonstandard notation, but I think it’s ok, even if the left subscript feels a bit kludgy. I will add more stuff in the next few days.
PS: Thanks a lot to all the nLab contributors; in the past few years I’ve learn a lot through here :) I now have the time and a little bit of confidence to contribute, so any pointers, tips, formatting, style suggestions, whatever will be greatly appreciated
]]>In reduced homology#relation to relative homology, at the bottom is a computation where one step is that Can you explain that step to me? If you think of kernels and cokernels as morphisms, then there’s no way such an isomorphism can hold, since is a morphism into , while is a morphism out of But if you think of kernels and cokernels as objects, then I guess it’s possible for them to be isomorphic. My guess is it must follow from the fact that is an iso, so the statement is something like “the kernel of a split epimorphism is the cokernel of its right-inverse,” but I can’t figure it out.
]]>