You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Mathematics student at the University of Colorado, Boulder interested in higher category theory and univalent mathematics. Learning to code... slowly...
I’m Raymond Baker. I’m interested in homotopy type theory and the univalent foundations of mathematics, higher category theory, and functional programming.
For contact information or more details about my interests, please see my website.