diff --git a/src/Cat.agda b/src/Cat.agda
index c452d26..f7c744e 100644
--- a/src/Cat.agda
+++ b/src/Cat.agda
@@ -9,11 +9,11 @@ import Cat.Category.Exponential
 import Cat.Category.CartesianClosed
 import Cat.Category.Pathy
 import Cat.Category.Bij
-import Cat.Category.Free
 import Cat.Category.Properties
 
 import Cat.Categories.Sets
 -- import Cat.Categories.Cat
 import Cat.Categories.Rel
+import Cat.Categories.Free
 import Cat.Categories.Fun
 import Cat.Categories.Cube
diff --git a/src/Cat/Category/Free.agda b/src/Cat/Categories/Free.agda
similarity index 97%
rename from src/Cat/Category/Free.agda
rename to src/Cat/Categories/Free.agda
index 44ad12e..71dec95 100644
--- a/src/Cat/Category/Free.agda
+++ b/src/Cat/Categories/Free.agda
@@ -1,5 +1,5 @@
 {-# OPTIONS --allow-unsolved-metas #-}
-module Cat.Category.Free where
+module Cat.Categories.Free where
 
 open import Agda.Primitive
 open import Cubical hiding (Path)