From f66ed8d4cf4cd9caa26351e27185329ca74c4cc5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Thu, 1 Dec 2016 15:42:30 +0100
Subject: [PATCH] add a comment to category

---
 examples/category.ctt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/category.ctt b/examples/category.ctt
index ed6c5d1..71ff7f3 100644
--- a/examples/category.ctt
+++ b/examples/category.ctt
@@ -404,6 +404,7 @@ opaque sip
 -- Functors
 --
 
+-- TODO: define as functor_data and isFunctor
 functor (A B : precategory) : U
   = (Fob : cA A -> cA B)
   * (Fmor : (x y : cA A) -> cH A x y -> cH B (Fob x) (Fob y))
-- 
2.34.1