[[snapshot]]: 2021-05-30 14:09:55

Affected files:

.obsidian/workspace
"Pasted image 20210530140955.png"
"category theory basics.md"

.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",

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.