possibly gonna be talking to shinzen young about category theory tomorrow wish me luck