Eigil Rischel - abstr/acc 💎 @ayegill@schelling.pt

This is driving me insane: I used to use this website that was *just* a text form you could type into, and whatever you typed would (maybe?) be there when you came back (using cookies, not logins). It may have had some very barebones formatting stuff. Anyone know what this is?

Okay, the fact that you can do this is a pretty nice feature of the remarkable.

Disappointed that this isn't about applications of computational complexity theory to economics
---
RT @Sean_Leaver
'Economic complexity theory and applications' by @cesifoti , published in Nature recently.

h/t @trentjmacdonald

https://static1.squarespace.com/static/5f9fd5c50da41f74e9a62d36/t/600ef36eee4ff54a95642be6/1611592574023/s42254-020-00275-1.pdf
https://twitter.com/Sean_Leaver/status/1376283463758671876

New wizard book just dropped
https://mitpress.mit.edu/books/software-design-flexibility

"Here's how we do it. First, we hijack a cargo ship and jam it across the suez canal, temporarily halting ship traffic between the North Atlantic and the Indian Ocean.

Can someone make a browser plug-in that auto-accepts cookies?

the wise man bowed his head solemnly and spoke: "theres actually zero difference between presheaves & objects. you imbecile. you fucking moron"

If C is a symmetric monoidal category with object set A, then the morphisms in C form an algebra of some operad of "wiring diagrams" (i.e string diagrams with holes) labeled by the objects of A. This seems to be mostly folklore, is there a good reference anywhere?

Maybe these don't exist because category theory can only prove neat results 🤔

I guess any equivalence of categories is like this, but I'm wondering whether we have more sort of "case analysis"-type results. Not "An X is the same as a Y" but "An X is either a Y or a Z".

Random early-morning thought: are there any "classification theorems" in category theory? Theorems to the effect that any object of type XYZ has either form A, B, or C? Eg the classification of finite simple groups

I am generally looking for *papers*, i.e not several hundred pages, mostly original ideas, as opposed to textbook introductions to category theory.

What are some papers about category theory everyone should read? (by everyone let's say everyone who wants to "learn category theory", whatever that means)

What no univalence does to a mf

Small brain: Using X,Y,Z as stand-in variables when speaking of a mapping "in itself"
Medium brain: Using -, \cdot, =, etc as stand-in variable
Daniel Kan brain:

The virgin zotero vs the chad ripgrep

Marinara: https://hillelwayne.com/post/influential-dead-languages/