diff --git a/agda/shell.nix b/agda/shell.nix
index ecb3698..7bc9316 100644
--- a/agda/shell.nix
+++ b/agda/shell.nix
@@ -17,7 +17,7 @@ mkShell {
         src = fetchFromGitHub {
           repo = "agda-categories";
           owner = "agda";
-          rev = "v0.2.0";
+          rev = "a1c797e935432702d25fd729802aeb155b423761";
           hash = "sha256-pGwR5nPDlBwL4NbFBAZr8ZtR66qdqTm+Cd3OePjbTys=";
         };