Category-Theory

Sheaves as Presheaves with an Equalizer Diagram

26 Oct 2024

A note on sheaves.

Monomorphisms and epimorphisms

17 Dec 2022

Exercises in category theory: monomorphisms and epimorphisms

hom-Sets

15 Dec 2022

Exercises in category theory: hom-sets

Free semimodules and their examples

01 Nov 2022

Honours project on free semimodules and their examples. Covers definitions, universal properties, and connections to category theory and universal algebra. Supervised by Prof. G. Janelidze (UCT).

M-sets and Yoneda for monoids

15 Jul 2022

Exercises in category theory: M-sets and the Yoneda lemma for monoids

Free algebras by means of a universal property

27 Jun 2022

Exercises in category theory: free algebras by means of a universal property

Modules and Vector Spaces as Algebraic Categories

26 Jun 2022

Exercises in category theory: category of modules and category of vector spaces as algebraic categories

Groupoids and skeletons of monoids and preorders

14 Jun 2022

Exercises in category theory: groupoids and skeletons

Exercises in category theory

14 Jun 2022

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