diff --git a/.obsidian/workspace b/.obsidian/workspace index e865d9c38..25074acf7 100644 --- a/.obsidian/workspace +++ b/.obsidian/workspace @@ -10,7 +10,7 @@ { "id": "90ec1eb033ec1a7c", "type": "split", - "dimension": 15.903371917463511, + "dimension": 17.060895822848515, "children": [ { "id": "ae59c49b3be42d7f", @@ -40,7 +40,7 @@ { "id": "2df69b5c8478290b", "type": "leaf", - "dimension": 17.614494212380475, + "dimension": 13.437342727730247, "state": { "type": "markdown", "state": { @@ -52,7 +52,7 @@ { "id": "20bdecf17922ea29", "type": "leaf", - "dimension": 17.614494212380475, + "dimension": 53.85002516356317, "state": { "type": "markdown", "state": { @@ -61,22 +61,10 @@ } } }, - { - "id": "ba944b0eac45b31d", - "type": "leaf", - "dimension": 10.065425264217414, - "state": { - "type": "markdown", - "state": { - "file": "cuello de burup.md", - "mode": "source" - } - } - }, { "id": "089feb5db4c29e31", "type": "split", - "dimension": 38.802214393558124, + "dimension": 15.651736285858078, "children": [ { "id": "d751188de77a3616", diff --git a/Pasted image 20210530140955.png b/Pasted image 20210530140955.png new file mode 100644 index 000000000..c89ef516a Binary files /dev/null and b/Pasted image 20210530140955.png differ diff --git a/category theory basics.md b/category theory basics.md index e9ad1ac31..0009dbc84 100644 --- a/category theory basics.md +++ b/category theory basics.md @@ -81,4 +81,6 @@ Associativiy in plugs: ![[Pasted image 20210530140849.png]] -Identity morphism +Identity morphisms: morphisms that do nothing. Like a zero in addition. + +Identity morphism for functions: the identity function. \ No newline at end of file