AI alignment researcher | Topologist by training | Mathematics Ph.D, UMD College Park
The forgetful functor was too effective. Perhaps try using its adjoint.
