Thanks John, I just found out the connection You-Pyrofex-RChain! I would be very interested (as I actually learn more about category theory is) in why it's relevant to blockchain!