This site is a work in progress.

My name is James Jensen. In 2025 I graduated from the University of Western Australia with a Bachelor of Philosophy in Physics and Mathematics & Statistics, with first class honours in pure mathematics. The topic of my honours thesis was on the representation theory of Hopf algebras. Since then, I have become interested in type theory and Univalent Foundations.

Find me

• On the Fediverse: @jajaperson@mastodon.social
• On Github: jajaperson

About this site

This site contains the “public” section of my notes I have been writing since I started university in 2022. As such, there is a bit of a range in sophistication — and potentially accuracy. The notes cover anything that has taken my interest over the years from Proto-Indo-European to differential geometry.

Keep in mind that greyed out links can either be notes I haven't decided to make public, or otherwise haven't gotten around to writing yet. Also, I still have a bit of work to do before these notes look completely correct when viewing on the web.

• Mathematics MOC
• Physics MOC
• Language MOC

Known issues

Current problems with this website include

• Mermaid diagrams are not rendering.
• Some tables display strangely.

If you notice anything else off, please let me know.