Jeffery Mensah

about

Hello! I'm Jeffery. This site collects my musings and writings on topics I am generally interested in, such as mathematics, music, or software development.

recent posts

The Tor\mathrm{Tor} functors, which are ubiquitous in algebraic topology and more generally homological algebra, encode the failure of the tensor product to be an exact functor. As a derived functor, one typically defines...

The homotopy extension property

August 9, 2025~2500 words

In this post, we discuss equivalent characterizations of the homotopy extension property of a topological pair (X,A)(X, A), which states that a homotopy...

In this post, we discuss an invariant of a complex representation of a finite group, and show how this yields a connection between irreducible real and complex representations...

see all posts