Kim Reece @kimreece@mathstodon.xyz

I'll be cleaning this up over the weeks to come, but in addition to looking for standard funding sources, I'm opening the tip jar.

https://www.ko-fi.com/feonixrift
https://www.patreon.com/feonixrift

I'm a math grad student, persistently cashflow-negative, trying to hold up the finances through my masters thesis before I can get into a phd (hence paid) position.

I plan to be more vocal with what I do, and contribute in other ways, but... Patronage of the sciences is a thing, right?

Shelved yesterday's giant calculation as obviously pointless; (one-liner eyeroll). Started a new and entirely different giant calculation...

My 'dark web' is articles noone without years of experience would ever think to enter the keywords for.

Actual use is slightly subtler - object does exist, and is unique, but did it exist in any of these places, it would have to exist in each of them by symmetry, contradicting uniqueness, so wherever it is isn't in this class of places.

I don't think I've actually used this proof technique in practice before...

If an object is unique if existent, and its construction if existent places it equivalently in multiple distinct places, such that if there's an it in one, there must be in each of them .. it doesn't exist.

(does anyone have a better phrasing for this?)

Leinster, paraphrased: Don't worry about understanding all the examples, you aren't expected to have the background, just read enough of them to have a jist of the idea.

Also Leinster: Buries half the important concepts in the examples, can't actually be read without understanding them.

Good news - I'm slightly employed for next semester. It's not enough to pay the bills, that's for sure. But it's something.

ah, page 9 and the phrase "its tentacles extend" has occurred; I was right

prof: "Let 8 stand for \(\delta\) since we weren't using it anyway."
book: "Let 1 denote a set with ..."

math i -- Numbers mean numbers of things!
math ii -- Letters mean numbers of things!
math iii -- Letters mean things of kinds!
math iv -- Numbers mean things of kinds...
math v -- Cthulhu

Didn't make what I was supposed to make this week, because I got jammed up on one of the assumptions being unproven.

But I think I have a proof of that assumption now, so yay?

Take \(\mathbb{N}\) as a monoid and ignore entirely the ordinary existence of \(\mathbb{Z}\) let alone \(\mathbb{Q}\). Form \(\mathbb{Z}\) by adjoining to it the non-trivial second root of 1, and \(\mathbb{Q}\) by taking the fraction field of that. This way our normal base field is itself a degree 2 extension, over a monoid instead of over a field.

Massively underproductive today. =/

Oh, and bought a vacuum cleaner, because my old one is dying. Staubfrei auch! :)

Today I looked up procedures for a bunch of things I thought were due tomorrow ...

and found that none of them have fixed due dates, certainly not of tomorrow, nor can any of them be accomplished by an automated procedure, nor by anything I can do today.

I'm free! Free! .. to work! Back to the equations it is...