From 6cd8e0a2ca34aaa4a3aa5894dd653b720d16afdc Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Mon, 1 Jul 2024 08:34:35 -0600 Subject: [PATCH] Daily notes. --- .../plugins/obsidian-to-anki-plugin/data.json | 8 +++++--- notes/_journal/{ => 2024-06}/2024-06-29.md | 0 notes/_journal/2024-06/2024-06-30.md | 9 +++++++++ notes/_journal/2024-07-01.md | 9 +++++++++ notes/set/functions.md | 12 ++++++------ notes/set/relations.md | 2 +- 6 files changed, 30 insertions(+), 10 deletions(-) rename notes/_journal/{ => 2024-06}/2024-06-29.md (100%) create mode 100644 notes/_journal/2024-06/2024-06-30.md create mode 100644 notes/_journal/2024-07-01.md diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index 3360df7..5d235b9 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -508,7 +508,7 @@ "_journal/2024-06/2024-06-04.md": "52b28035b9c91c9b14cef1154c1a0fa1", "_journal/2024-06-06.md": "3f9109925dea304e7172df39922cc95a", "_journal/2024-06/2024-06-05.md": "b06a0fa567bd81e3b593f7e1838f9de1", - "set/relations.md": "83e38548017dda4fa6371fa1b312b2e2", + "set/relations.md": "a57cf42b30db6c6b430b40c6d37a2af6", "_journal/2024-06-07.md": "795be41cc3c9c0f27361696d237604a2", "_journal/2024-06/2024-06-06.md": "db3407dcc86fa759b061246ec9fbd381", "_journal/2024-06-08.md": "b20d39dab30b4e12559a831ab8d2f9b8", @@ -534,7 +534,7 @@ "_journal/2024-06/2024-06-12.md": "f82dfa74d0def8c3179d3d076f94558e", "_journal/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307", "_journal/2024-06/2024-06-13.md": "e2722a00585d94794a089e8035e05728", - "set/functions.md": "8d2f0ef04e32de2de5054127f6970f18", + "set/functions.md": "4f5d82d67c9a85db350f1b26175c26ed", "_journal/2024-06-15.md": "92cb8dc5c98e10832fb70c0e3ab3cec4", "_journal/2024-06/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307", "lambda-calculus/beta-reduction.md": "bd7ed2d1b8aae2e584c3e7be1d116170", @@ -569,7 +569,9 @@ "_journal/2024-06/2024-06-27.md": "237c73268a28f652985a5ef7ca7e188e", "_journal/2024-06/2024-06-26.md": "9c5d7e6395496736f2f268e9fdba117f", "_journal/2024-06-29.md": "9d43f4f33e03a48aa08e13bb5be365e0", - "_journal/2024-06/2024-06-28.md": "3f6a47a6324918b6c3af6b9549663372" + "_journal/2024-06/2024-06-28.md": "3f6a47a6324918b6c3af6b9549663372", + "_journal/2024-06-30.md": "97d39a4905e296c6c3fd12e48c4283bd", + "_journal/2024-06/2024-06-29.md": "9d43f4f33e03a48aa08e13bb5be365e0" }, "fields_dict": { "Basic": [ diff --git a/notes/_journal/2024-06-29.md b/notes/_journal/2024-06/2024-06-29.md similarity index 100% rename from notes/_journal/2024-06-29.md rename to notes/_journal/2024-06/2024-06-29.md diff --git a/notes/_journal/2024-06/2024-06-30.md b/notes/_journal/2024-06/2024-06-30.md new file mode 100644 index 0000000..cca2b8f --- /dev/null +++ b/notes/_journal/2024-06/2024-06-30.md @@ -0,0 +1,9 @@ +--- +title: "2024-06-30" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-07-01.md b/notes/_journal/2024-07-01.md new file mode 100644 index 0000000..9e1b3c5 --- /dev/null +++ b/notes/_journal/2024-07-01.md @@ -0,0 +1,9 @@ +--- +title: "2024-07-01" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/set/functions.md b/notes/set/functions.md index c62028f..d3d4fda 100644 --- a/notes/set/functions.md +++ b/notes/set/functions.md @@ -375,8 +375,8 @@ END%% %%ANKI Basic -Let $F \colon A \rightarrow B$. *Why* does "left inverses iff injective" require $A \neq \varnothing$? -Back: Because a mapping from $B$ to $\varnothing$ cannot be a function. +Let $F \colon A \rightarrow B$. *Why* does "left inverses iff injective" assume $A \neq \varnothing$? +Back: Because a mapping from nonempty $B$ to $\varnothing$ cannot be a function. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). END%% @@ -600,8 +600,8 @@ END%% %%ANKI Basic -Let $F \colon A \rightarrow B$. *Why* does "right inverses iff surjective" require $A \neq \varnothing$? -Back: Because a mapping from $B$ to $\varnothing$ cannot be a function. +Let $F \colon A \rightarrow B$. *Why* does "right inverses iff surjective" assume $A \neq \varnothing$? +Back: Because a mapping from nonempty $B$ to $\varnothing$ cannot be a function. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). END%% @@ -1002,14 +1002,14 @@ END%% %%ANKI Cloze -Let $F$ be {a function}. If $t \in$ {$\mathop{\text{ran}}F$}, then $F(F^{-1}(t)) = t$. +Let $F$ be a {function}. If $t \in$ {$\mathop{\text{ran} }F$}, then $F(F^{-1}(t)) = t$. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). END%% %%ANKI Cloze -Let $F$ be {an injection}. If $t \in$ {$\mathop{\text{dom}}F$}, then $F^{-1}(F(t)) = t$. +Let $F$ be an {injection}. If $t \in$ {$\mathop{\text{dom} }F$}, then $F^{-1}(F(t)) = t$. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). END%% diff --git a/notes/set/relations.md b/notes/set/relations.md index 88c250c..c63721a 100644 --- a/notes/set/relations.md +++ b/notes/set/relations.md @@ -390,7 +390,7 @@ END%% %%ANKI Basic What does it mean for a set $A$ to be "single-rooted"? -Back: For each $y \in \mathop{\text{ran}}A$, there exists a unique $x$ such that $xRy$. +Back: For each $y \in \mathop{\text{ran}}A$, there exists a unique $x$ such that $xAy$. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). END%%