nat!!
@sheafnat.bsky.social
the dyke cat mathematician (unique up to contractible space of choices)
it was a fantastic set!
March 9, 2025 at 10:32 AM
it was a fantastic set!
Like I just don't want to get groped why is it like a whole Foods in here
January 6, 2025 at 10:29 PM
Like I just don't want to get groped why is it like a whole Foods in here
fwiw, i think 0 ∈ ℕ is true everywhere that monoids touch (hereditarily, everywhere that category theory and algebraic topology touches)
November 20, 2024 at 12:31 AM
fwiw, i think 0 ∈ ℕ is true everywhere that monoids touch (hereditarily, everywhere that category theory and algebraic topology touches)
This feels reflective of the general mathematical process, at least in subfields like mine (homotopy theory):
--proceed with existing tools until all of the significant problems seem intractable
--introduce new tech/formalism to automagically handle pesky details
--repeat
--proceed with existing tools until all of the significant problems seem intractable
--introduce new tech/formalism to automagically handle pesky details
--repeat
November 17, 2024 at 5:28 PM
This feels reflective of the general mathematical process, at least in subfields like mine (homotopy theory):
--proceed with existing tools until all of the significant problems seem intractable
--introduce new tech/formalism to automagically handle pesky details
--repeat
--proceed with existing tools until all of the significant problems seem intractable
--introduce new tech/formalism to automagically handle pesky details
--repeat