@ai_art_bot one of the things I like about this bot is checking the alt text "...in the style of..." to broaden my art horizons.

A "hybrid" course at #CHI2022 in which the instructor and all registered (paying) attendees were remote. Someone was guarding the door to make sure nobody snuck in to watch the Zoom session being projected to the completely empty room.

Or maybe you're thinking "This is the kind of math I like!" Then take a look at her paper.

She defines derivations of operads, and shows entropy is a derivation of the operad whose space of n-ary operations is the (n-1)-simplex!

(4/n)

Something I've wondered more than once on birdsite:

\( 1729 = 12^3 + 1^3\), so it's a multiple of 13.

\(1729 = 10^3 + 9^3 \), so it's a multiple of 19.

It's also a multiple of 7. Where does that come from? (i.e., is there a way to find *all* of the factors of a taxicab number given the cubes that sum to it, or similar?)

As it's #StarWarsDay, I thought I'd share a mini thread of a selection of Star Wars treasures from my childhood. All 1977-79, before there were 'episodes', before anyone had heard the word 'franchise' to describe a film series (photo of my 7th birthday) #MayThe4thBeWithYou 1/

Quanta article about how a team of mathematicians recently managed to coax the Navier-Stokes equations into producing some non-unique solutions for certain initial conditions, exposing a weakness in the equations' modeling of physical reality

@jalefkowit I designed and coded this game. No shit.

Taking a break from the afternoon break to bring you some of the most exciting new #science results from the #Exo4 #Exoplanets conference! I'll tell you why I'm excited about these in a thread!

⬇️⬇️⬇️⬇️⬇️

(1) A detection of a proto-planet in the TW Hya Disk. It's currently somewhere around the size of Neptune, but still growing!

(2) 30 new Hot Jupiters from TESS! (Transiting Exoplanet Survey Satellite)

(3) a sub-Earth planet around Proxima Centauri, our nearest neighbor! @asmasca

#introduction

Hi all! I'm Cody, a refugee from Twitter math.

Mostly interested in proof theory and logic, but interested in a lot of mathy things.

I haven't seen *nearly* enough #CategoryTheory here, and almost nothing from the #nLab !! So here are some of my most-visited pages, according to my browser history.

https://ncatlab.org/nlab/show/Thomason+model+structure

(weak equivalences created by taking nerves)

https://ncatlab.org/nlab/show/multicategory

(morphisms can have n-ary source for n > 1)

https://ncatlab.org/nlab/show/simplicial+object

(combinatorial version of topological space)

https://ncatlab.org/nlab/show/Grothendieck+construction

(convert a general functor into a fibration of slice categories)

Consider a ring $R$, and let $\mathcal{L}$ denote the language of rings over $R$ (e.g formulae composed of quantifiers and equalities of $R$-valued polynomials). It's possible to take a "Grothendieck group" of an $\mathcal{L}$-theory $F$.

First, define an equivalence relation $\sim$ on $\mathcal{L}$-formulae as $\varphi(x_1,..., x_n) \sim \psi(y_1,..., y_m) \iff$ there exists $\eta(x_1,...,x_n, y_1,..., y_m)$ s.t for every $R$-algebra $A$ where $A \models F$, the subset of $A^(m+n)$ ...

- pronouns
- he/him

- website
- https://nilesjohnson.net

Working in topology and category theory;

Assoc. Prof. at Ohio State, Newark

Joined May 2017