Here you can find my weekly progress, and it should consist of new or interesting concepts, intriguing problems and solutions, or stubborn thoughts shy of providing closure to proofs.
My goal is to resolve an open question regarding two translations between Second-Order Generalised Algebraic Theories (SOGATs) and Generalised Algebraic Theories (GATs). To prepare for this, my current focus is on bringing my knowledge up to date. Ultimately, the purpose is to eventually prove the conjecture that both translation methods yield equivalent syntaxes for any given SOGAT.