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) +nno This has no interpretation as a proposition since