diff --git a/src/Cat.agda b/src/Cat.agda
new file mode 100644
index 0000000..6cb8e32
--- /dev/null
+++ b/src/Cat.agda
@@ -0,0 +1,12 @@
+module Cat where
+
+import Cat.Categories.Sets
+import Cat.Categories.Cat
+import Cat.Categories.Rel
+import Cat.Category.Pathy
+import Cat.Category.Bij
+import Cat.Category.Free
+import Cat.Category.Properties
+import Cat.Category
+import Cat.Cubical
+import Cat.Functor