diff --git a/Pasted image 20210530140955.png b/Pasted image 20210530140955.png index c89ef516a..e807a19c1 100644 Binary files a/Pasted image 20210530140955.png and b/Pasted image 20210530140955.png differ diff --git a/Pasted image 20210530141056.png b/Pasted image 20210530141056.png new file mode 100644 index 000000000..66b30950c Binary files /dev/null and b/Pasted image 20210530141056.png differ diff --git a/category theory basics.md b/category theory basics.md index 0009dbc84..3298bcebf 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -83,4 +83,9 @@ Associativiy in plugs: Identity morphisms: morphisms that do nothing. Like a zero in addition. -Identity morphism for functions: the identity function. \ No newline at end of file +Identity morphism for functions: the identity function. + +![[Pasted image 20210530140955.png]] + +A converter that converts to the same electrical standard is just an extension that can become a converter of any type. +