Mr Jonathan Sherry
PhD Project Summary
I am a member of the following research groups:
I am working with weak memory models and the Isabelle theorem prover.
You can find my personal website here
Considering a left-adjoint as male and a right adjoint as female, give the correct term for a contravariant functor self-adjoint on the right.
Considering a left-adjoint as husband and right-adjoint as wife, give a precise definition of "marital relations". Do the same for the pre-adjoint situation.
Discuss the Freudian significance of exact sequences. (Hint: consider the fulfillment by one arrow of the kernel of the next.)