From 32703b3c69ab1638ec899e2001cd21ea8c5e6d8b Mon Sep 17 00:00:00 2001 From: Flancian <0@flancia.org> Date: Sun, 30 May 2021 16:18:57 +0200 Subject: [PATCH] [[snapshot]]: 2021-05-30 16:18:57 Affected files: "category theory basics.md" --- category theory basics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/category theory basics.md b/category theory basics.md index a4e2923b1..a20057cf4 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -162,7 +162,7 @@ Sameness: [[isomorphism]]. Identity is equal to roundtrip. ![[Pasted image 20210530142018.png]] -(in the category of sets/functions, an isomorphism is equivalent to a [[bijection]]. in continuous topological spaces, it ) +(in the category of sets/functions, an isomorphism is equivalent to a [[bijection]]. in continuous topological spaces, it is a [[homeomorphism]]) A context.