diff --git a/hott/algebra/category/Set.hlean b/hott/algebra/category/set.hlean
similarity index 100%
rename from hott/algebra/category/Set.hlean
rename to hott/algebra/category/set.hlean