From 3f7f1c6fcf066f20ac811e331fc28b1ee6f9f4d7 Mon Sep 17 00:00:00 2001
From: jlh <josephhua73@yahoo.com>
Date: Wed, 21 Jul 2021 17:17:31 +0100
Subject: [PATCH]  trinit

---
 Trinitarianism/Quest0.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Trinitarianism/Quest0.md b/Trinitarianism/Quest0.md
index eb6f4b4..0b2ee50 100644
--- a/Trinitarianism/Quest0.md
+++ b/Trinitarianism/Quest0.md
@@ -127,7 +127,7 @@ We can see `ℕ` as a categorical notion:
 with `zero : ⊤ → ℕ` and `suc : ℕ → ℕ` such that
 given any `⊤ → A → A` there exist a unique morphism `ℕ → A`
 such that the diagram commutes:
-![nno](images/nno.png)
+<img src="images/nno.png" alt="nno" width="200"/>
 
 
 This has no interpretation as a proposition since