diff --git a/src/Cat.agda b/src/Cat.agda
index 4a0b4a0..7d8b396 100644
--- a/src/Cat.agda
+++ b/src/Cat.agda
@@ -9,7 +9,7 @@ import Cat.Category.CartesianClosed
 import Cat.Category.NaturalTransformation
 import Cat.Category.Pathy
 import Cat.Category.Bij
-import Cat.Category.Properties
+import Cat.Category.Yoneda
 import Cat.Category.Monad
 
 import Cat.Categories.Sets
diff --git a/src/Cat/Category/Properties.agda b/src/Cat/Category/Yoneda.agda
similarity index 98%
rename from src/Cat/Category/Properties.agda
rename to src/Cat/Category/Yoneda.agda
index 5462f13..baf298b 100644
--- a/src/Cat/Category/Properties.agda
+++ b/src/Cat/Category/Yoneda.agda
@@ -1,6 +1,6 @@
 {-# OPTIONS --allow-unsolved-metas --cubical #-}
 
-module Cat.Category.Properties where
+module Cat.Category.Yoneda where
 
 open import Agda.Primitive
 open import Data.Product