1 files changed, 0 insertions, 16 deletions
diff --git a/examples/category-theory/Adjoints.gf b/examples/category-theory/Adjoints.gf
deleted file mode 100644
index b4987228d..000000000
--- a/examples/category-theory/Adjoints.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-abstract Adjoints = NaturalTransform ** {
-
-  ----------------------------------------------------------
-  -- Adjoint functors - pair of functors such that
-  -- there is a natural transformation from the identity
-  -- functor to the composition of the functors.
-
-  cat Adjoints ({c1,c2} : Category) (Functor c1 c2) (Functor c2 c1) ;
-
-  data adjoints : ({c1,c2} : Category)
-                -> (f : Functor c1 c2)
-                -> (g : Functor c2 c1)
-                -> NT (idF c1) (compF g f)
-                -> Adjoints f g ;
-
-}