From d328927e896eda0a5e1a8e0801e7a83e41898af0 Mon Sep 17 00:00:00 2001
From: Yann Esposito <yann.esposito@gmail.com>
Date: Thu, 11 Oct 2012 16:18:08 +0200
Subject: [PATCH] updated some layout

---
 00_Introduction.lhs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/00_Introduction.lhs b/00_Introduction.lhs
index b4720ad..1ef0d29 100644
--- a/00_Introduction.lhs
+++ b/00_Introduction.lhs
@@ -222,6 +222,7 @@ A -> C [label="h'\n=g'∘f\n=g∘f'"]
  ### Examples
 
 Which can be a valid category by choosing ∘ appropriately?
+The identity morphisms are assumed.
 
 <graph title="Can be a valid category">
 A[label="★"]
@@ -251,8 +252,11 @@ A -> C
 </graph>
 
 <graph title="Not a category; no \(A→C\) while there exists \(A→B\) and \(B→C\)">
-A -> B [constraint=false]
-B -> C [constraint=false]
+A[pos="0,0"]
+B[pos="2,0"]
+C[pos="1,-1"]
+A -> B
+B -> C
 B -> A
 C -> A
 </graph>