| http://www.w3.org/ns/prov#value | - I was reading here about adjoint functors, and I was following the construction of the right adjoint to a left adjoint functor, and I kept getting tripped up over showing that the resulting functor actually was a right adjoint, according to the universal morphism definition.
|
