Mathematics Research Blog

Research articles and notes in category theory, algebra, topology, and formalized mathematics.

Modules and Vector Spaces as Algebraic Categories

June 26, 2022

How modules and vector spaces can be described as algebraic categories.

June 14, 2022

Monoids and preorders as categories, and the corresponding groupoids and skeletons.

June 14, 2022

Series of posts containing short answers to exercises in category theory from my honours year at the University of Cape Town

February 28, 2021

A Hopf-link obstruction to an isotopy between the double-twisted Möbius strip and the ordinary strip.