diff --git a/README.md b/README.md
index efa63b0..48154de 100644
--- a/README.md
+++ b/README.md
@@ -147,7 +147,8 @@ There are many very well commented examples in the <./examples/> folder. These i
 -   <./examples/logic.pg>, which defines the standard logical operators and proves standard results about them,
 -   <./examples/classical.pg>, which asserts the law of the excluded middle as an axiom, and proves several results that require it,
 -   <./examples/computation.pg>, which demonstrates using `perga` for computational purposes,
--   <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them, and
+-   <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them,
+-   <./examples/category.pg>, which formalizes some very basic category theory, and
 -   <./examples/peano.pg>, which proves standard arithmetic results from the Peano axioms.
 
 I intend to extend these examples further.