art blog(derogatory)
⁂
No title available
blake kathryn
Sade Olutola
let's talk about Bridgerton tea, my ask is open
we're not kids anymore.
izzy's playlists!
Janaina Medeiros
DEAR READER
Origami Around
taylor price
tannertan36
Acquired Stardust
Misplaced Lens Cap
AnasAbdin
@theartofmadeline
Stranger Things
Sweet Seals For You, Always
NASA
seen from United States
seen from United States
seen from Türkiye
seen from United States
seen from Denmark
seen from United States
seen from United States
seen from United Kingdom
seen from T1
seen from Brunei
seen from United States
seen from United States
seen from Malaysia
seen from United States
seen from Denmark
seen from Türkiye
seen from United States
seen from United States
seen from United States
seen from United States
@locally-normal
Plan for tomorrow:
Wake up
Take a shower
Chug inhuman amounts of caffeine and sugar (preferably maté)
Pass out, magically transfer everything from my head to my thesis
Drink more maté
Discover and prove two or three more theorems
Get depressed because I'll never do a PhD
Read sci-fi
Go to sleep
Except for the "everything" and "prove" part, pretty sure I can handle that
212._.film
Can anyone sell topoi to me?
Not actually, I still need to read more about them. But they sit at the intersection of geometry in logic, and if you're into G equivariant homotopy theory the right setting for it is category theory internal to the infinity topos of G spaces.
oh really, how? Is this this parametrized category theory/higher algebra stuff I keep hearing about?
Yeah, kinda. In its most general form parametrized category theory is when you have Fun(X, Cat). But this takes a particularly nice form useful to equivariant homotopy theory when X is the orbit category or the Burnside category (more or less). X being the orbit category turns out to be equivalent to doing infinity category theory internal to G spaces. Commutative monoidal in there are equivalent to the Burnside category thing.
One of the things this does is that you have limits and colimits, but also equivariant limits and colimits - for instance in addition to regular coproducts you also have induction. Then to define stability equivariantly you need to allow inductions and coinductions (equivariant limits and colimits) into your requirement that finite limits are finite colimits up to a shift.
(In some contexts it still seems important to allow more general parametrized categories, but to me this seems more like a technicality than the heart of the matter. I think working internally to G spaces is much more the spirit of things).
Mmm interesting. I don't see why it matters that G-spaces form a topos though? Is that what guarantees that it gives a nice theory of internal category theory?
Yeah I'm a little less clear on this. I think yes, like, it's probably possible to get a theory of internal category theory under weaker assumptions but a topos makes it nice.
Can anyone sell topoi to me?
Not actually, I still need to read more about them. But they sit at the intersection of geometry in logic, and if you're into G equivariant homotopy theory the right setting for it is category theory internal to the infinity topos of G spaces.
oh really, how? Is this this parametrized category theory/higher algebra stuff I keep hearing about?
Yeah, kinda. In its most general form parametrized category theory is when you have Fun(X, Cat). But this takes a particularly nice form useful to equivariant homotopy theory when X is the orbit category or the Burnside category (more or less). X being the orbit category turns out to be equivalent to doing infinity category theory internal to G spaces. Commutative monoidal in there are equivalent to the Burnside category thing.
One of the things this does is that you have limits and colimits, but also equivariant limits and colimits - for instance in addition to regular coproducts you also have induction. Then to define stability equivariantly you need to allow inductions and coinductions (equivariant limits and colimits) into your requirement that finite limits are finite colimits up to a shift.
(In some contexts it still seems important to allow more general parametrized categories, but to me this seems more like a technicality than the heart of the matter. I think working internally to G spaces is much more the spirit of things).
Can anyone sell topoi to me?
Not actually, I still need to read more about them. But they sit at the intersection of geometry in logic, and if you're into G equivariant homotopy theory the right setting for it is category theory internal to the infinity topos of G spaces.
Sorry for not doing the tag game you tagged me in I love you
ok so this is another long shot but a few years ago there was a twitter post (in japanese i think?) that had measurememts for how to make this book stand thing out of cardboard that you could use to double up books and use up more space on shelves
back then i made a bunch of these but by now i lost the pic and dont know how to find the original post anymore
if it comes down to it i can just take one apart and get the measurements from there but i would be very grateful if anyone happens to have the original post or something similar??
don't mind how long it's been since i made this post, anyway i realized that i don't even need to take one apart to get the measurements when i can literally just unfold it and refold it /FACEPALM
so anyway here is the diagram for anyone else who is interested!!
this requires pretty big carboard pieces, if you have a really big box or something you can make it from one piece, but if you don't, you can also just make each of the pieces individually and then tape them together
and then in the end you put it together like this!!
and then when you make a bunch you can put them all next to each other and stack your books like crazy
EVERYONE START GETTING MORE USE OUT OF YOUR SPACE NOW!!!!
I miss max pretty badly. I hope they get better someday. I think they made all of us better thinkers
there are too many things happening this summer that i'm thinking we are going to need an extra 6-12 months of june and possibly another 3-4 months of july. probably no extra august as the problem should hopefully sort itself out by then. we are also looking into extending the day night cycle to 55 hours and extending the human lifespan to 10000 years.
I miss my lover 😩😩😩 but soon I will see him
Darling you don't have to tag things for me to see. I miss you toooo
you've heard of optimal square packing, but packing cubes in cubes also exists.
is the optimal for 12 cubes. (image from https://erich-friedman.github.io/packing/cubincub/ )
ok this is even more cursed than squares. i love it and hate it at the same time. my eyes bleed out with hearts to this.
Me trying to convince my wife this really is the best way to load a moving truck
l infinity sphere packing
This one weird trick will make it so much easier to pack your infinity spheres!!
:/ good job me.
So I had a job interview today and there was a dude in the waiting room who was chatting up every AFAB person in the waiting room whether they responded or not, and kept going “Hey I’m real good at Origami Swans you want one?” and then writing his number on sticky notes before making paper cranes and handing them to his latest target before turning his attention to the next lady in his vicinity. A little sad, a lot annoying, but unlikely to be dangerous. Whatever.
Dude gets to me. We have half a conversation where he asks me personal questions and I don’t look up from my phone. I get my “Swan”. I’m the last AFAB person in the room so he’s kinda sitting there.
I get to a post about a friend needing moral and/or spiritual support before a medical procedeure, so my ADHD ass goes Oh hey, we have an animal effigy we could sacrifice to the relevant gods! So I take out my lighter and burn the swan roughly 23 seconds after the dude gave it to me, and crush the ashes in my hand because I belatedly realize there’s no sink for me to throw this in. Oh well. Purell the ashes off.
I look up. Dude, and everyone else in the waiting room is staring at me.
“You, uh. Smoke?” Dude tries.
What I Meant To Say: “No I just carry a lighter as a holdover from survival camp as a kid, and if I’m wearing synthetic fabrics that start to ravel, I can use the flame to melt them a bit so they stop.”
What I Actually Said: “No I just have one in case I need to set something on fire.”
I put the lighter away. The hiring manager comes out and calls my name. I go back and have what I think was a reasonably sucessful job interview. I come back out.
Dude, and half of the other candidates are GONE.
unintentionalpowermoves.oops
average first sentence of a math wikipedia page:
A snorkle basis is a particular sort of set that has some properties and is generally "nice" (in a rigorous sense) and can do many things and is very practical.
average first sentence of an nlab page:
A snorkle complex generalizes the geometric notion of a snorkle basis to a context where there are not only internal morphisms, but pseudomonic ∞-morphisms on higher modalities.
The stable (∞,1)-category of snorkle complexes is anti-equivalent to the stable (∞,1)-category of (connective) bumblical complexes, by a celebrated theorem of Goncharov.
The best part is that despite Goncharov's Theorem looking so particular to bumblical complexes, it can be internalised in any fibration of virtual (infinity, infinity, 2)-multicategories with pullbacks in which case it follows from interchange of weighted limits applied to the category of modules in the category of endofunctors in the category of comonads induced by the canonical comonad coming from the Yoneda profunctor. Applying this in the case of presheaves over the walking bumblice we get the ordinary statement regarding bumblical complexes by standard Yoneda theory.
Every time you read a book you become a co-author of the book.
The book becomes a co-author of you. Especially if it's good!
so-called "free thinkers" when they're left adjoint to a forgetful thinker (me)
And you should see the right adjoints!
