xameer

@[email protected]
6 Followers
29 Following
41.4K Posts
sdf.org/~sameers
xameerOct 29, 2022
John Carlos BaezOct 28, 2022

There’s an adjunction between commutative monoids and pointed sets, which gives a comonad. Then:

Take the booleans, apply this comonad and get the natural numbers.

Take the natural numbers, apply this comonad and get Young diagrams.

Take the Young diagrams, apply this comonad and get Schur functors.

Let me explain how this works!

xameerOct 28, 2022
Show threadJohn Carlos BaezOct 28, 2022

I’ve been talking with Tom Leinster about this lately, so I decided to say more about how it works. You can read it on the n-Category Café:

https://golem.ph.utexas.edu/category/2022/10/partition_function_as_cardinal.html

xameerOct 28, 2022
https://mastodon.social/@arturo182
xameerOct 23, 2022
Show threadneilrobinsonOct 11, 2022
@xameer yes, I agree it is incredibly fragile and extremely difficult to debug if your formulae does not work as expected. How does one test, observe, or verify each function call in each cell? Your review process grows exponentially depending on the size of the data you are working with.
xameerOct 9, 2022
Baldur BjarnasonSep 28, 2022
Why are designers obsessed with hiding stuff on web pages? Scrolling works! Just let me scroll the goddamn page. Don’t send me off on a treasure hunt to click buttons and crap just to see what you’re trying to sell.
xameerOct 9, 2022
Baldur BjarnasonOct 1, 2022

The web dev industry’s strategy of trying to discover best practices through broad population surveys (e.g. “State of…”) is just so utterly off-base.

What do you think the result would be like if you surveyed all carpenters, hobbyists, students, masters etc., to discover best practices in carpentry?

Show threadxameerOct 9, 2022
@baldur
xameerOct 9, 2022
Not found?
xameerSep 6, 2022
I absolutely don't understand the notifications on mastodon
xameerAug 20, 2022
udonchy Jul 24, 2022
What kind of algebraic structure is a groupie