diff --git a/src/Cat.agda b/src/Cat.agda
index 0619b51..4a0b4a0 100644
--- a/src/Cat.agda
+++ b/src/Cat.agda
@@ -1,7 +1,6 @@
 module Cat where
 
 import Cat.Category
-import Cat.CwF
 
 import Cat.Category.Functor
 import Cat.Category.Product
@@ -19,3 +18,4 @@ import Cat.Categories.Rel
 import Cat.Categories.Free
 import Cat.Categories.Fun
 import Cat.Categories.Cube
+import Cat.Categories.CwF
diff --git a/src/Cat/CwF.agda b/src/Cat/Categories/CwF.agda
similarity index 98%
rename from src/Cat/CwF.agda
rename to src/Cat/Categories/CwF.agda
index 584268d..4b9ce32 100644
--- a/src/Cat/CwF.agda
+++ b/src/Cat/Categories/CwF.agda
@@ -1,4 +1,4 @@
-module Cat.CwF where
+module Cat.Categories.CwF where
 
 open import Agda.Primitive
 open import Data.Product