add coq-categories as a submodule

[coq-hetmet.git] / src / categories

diff --git a/src/categories b/src/categories
new file mode 160000 (submodule)
index 0000000..d490aac
--- /dev/null
+++ b/src/categories
@@ -0,0 +1 @@
+Subproject commit d490aac37c55dcdaaf3fca152846f13acbb447c6