Paul Fabel's Avatar

Paul Fabel

@paulfabel.bsky.social

Thinking and rethinking math.

151 Followers  |  150 Following  |  197 Posts  |  Joined: 05.08.2024
Posts Following

Posts by Paul Fabel (@paulfabel.bsky.social)

Malignant narcissists experience increased paranoia, denial, and rage as death nears. They often externalize these experiences through destruction and abuse of others in an effort to maintain a sense of control.

I suspect all of these wars are in part related to Trump’s awareness of his mortality.

06.03.2026 04:51 β€” πŸ‘ 498    πŸ” 126    πŸ’¬ 27    πŸ“Œ 9
Preview
War or Nothing A tale across the years; seven lessons learned from a quarter-century in a war-oriented society, where the greatest crime is any opposition to killing.

Seven lessons learned from a quarter century in a war-oriented society.

It's 2001β€”the year the movies promised we'd make contact with aliensβ€”and the United States has rather recently been attacked by terrorists who flew passenger planes into buildings.

www.the-reframe.com/war-or-nothi...

28.04.2024 15:43 β€” πŸ‘ 237    πŸ” 85    πŸ’¬ 3    πŸ“Œ 15

Yes, despite pragmatic rarity of checking off conditions.

Metrizability demands monoid of additive non-negative reals.

Origin stories of latter highly nontrivial, done carefully.

First class examples of limits, colimits, and monoid quotients emerge, done with care.

Reusable tools writ large.

10.02.2026 04:29 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Hating the Game The cooperation game, the murder game, and acting in good faith with people you know are acting in bad faith.

Today I wrote about the racist accommodation to the racist response to Bad Bunny's Super Bowl show; the moral hazard of extending good faith to those who act in bad faith; and how alienating white bigots is actually part of the solution, not a part of the problem. www.the-reframe.com/hating-the-g...

08.02.2026 18:10 β€” πŸ‘ 915    πŸ” 272    πŸ’¬ 28    πŸ“Œ 44

For cancellative abelian monoids, a nontrivial quotient map can have trivial kernel.

Map the free monoid F(C) over Cantor space C onto the additive non-negative reals, so that the right-shift map of F(C) represents halving.

Knowledge of the kernel of a quotient map is NOT one stop shopping.

04.02.2026 15:05 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
02.02.2026 21:41 β€” πŸ‘ 90    πŸ” 47    πŸ’¬ 0    πŸ“Œ 0

AI is getting good at math, but USING it still feels like looking up the answers in the back of the textbook.

Useful as a sanity check but generally hopeless as one stop shopping for understanding.

Exploring, developing tactics, finding examples and counterexamples, is not replaceable by AI.

31.01.2026 20:46 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Unlike groups, point preimages need NOT all have the same size under monoid epimorphisms.

There is an M_3-->M_2 counterexample with trivial kernel.

Let AAA=A and BB=B, in the domain and codomain.

Map A to B and id to id.

31.01.2026 19:48 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Want to localize your favorite monoid M?

Define all arbitrary quotients of M.

Then show that the quotients of M form a thin category with all joins and meets.

Mod M by the universal group kernel, so that the quotient M1 is cancellative.

Now Mod M1 x M1 by the diagonal.

31.01.2026 18:09 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Substituting x=7 certifies or refutes a random trig identity, armed with a scientific calculator, working in radians.

29.01.2026 04:18 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

The finite discrete space F is orderable but most automorphisms h:F-->F are NOT order preserving.

Same holds if we replace F with Cantor space C.

However each order preserving h:C-->C quotients to
h^:[0,1]-->[0,1] preserving the `dyadic rationals'

And vice versa, each h^ lifts to an h.

26.01.2026 18:29 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Opinion | State Terror Has Arrived

Explore this gift article from The New York Times. You can read it for free without a subscription. www.nytimes.com/2026/01/24/o...

25.01.2026 12:17 β€” πŸ‘ 5    πŸ” 3    πŸ’¬ 0    πŸ“Œ 1

Or a first.

24.01.2026 23:27 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Looking forward to it!

23.01.2026 03:30 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
the not-so "golden age," one year on Expo, a Swedish antiracist magazine that I contribute to, asked me to write a personal reflection how researching and reporting on the far right has felt during the first year of Donald Trump's return...

I wrote about how fucked up the past year has been as a person who's covered the far right for over a decade and who lives in DC. The guardrails are gone, and everyone knows it.

Everything those of us on this beat warned about happened, and then some. postsfromunderground.ghost.io/the-not-so-g...

22.01.2026 22:44 β€” πŸ‘ 448    πŸ” 112    πŸ’¬ 8    πŸ“Œ 2
Preview
A Shining Mausoleum on a Hill Life, death, and the rampage of ICE.

New article! On life, death, and the rampage of ICE.
sarahkendzior.substack.com/p/a-shining-...

15.01.2026 16:37 β€” πŸ‘ 348    πŸ” 141    πŸ’¬ 16    πŸ“Œ 26
Post image

Testing our sanity

15.01.2026 21:24 β€” πŸ‘ 188    πŸ” 82    πŸ’¬ 4    πŸ“Œ 10
MarΓ­a Corina Machado says she presented Trump with her Nobel peace prize medal

MarΓ­a Corina Machado says she presented Trump with her Nobel peace prize medal

5-panel comic showing what appears to be an athlete accepting a gold medal and obnoxiously celebrating. it isn’t until the final
panel that we see he’s on the last place podium and celebrating a fake win.

5-panel comic showing what appears to be an athlete accepting a gold medal and obnoxiously celebrating. it isn’t until the final panel that we see he’s on the last place podium and celebrating a fake win.

πŸ˜’

15.01.2026 21:58 β€” πŸ‘ 241    πŸ” 26    πŸ’¬ 15    πŸ“Œ 2

Breaking Bad Redux.

05.01.2026 01:54 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

In a talk called "A reintroduction to proofs"

emilyriehl.github.io/files/reintr...

I've speculated about teaching an undergraduate level introduction to proofs course but using dependent type theory as the implicit formal system in place of set theory and first order logic.

29.12.2025 21:09 β€” πŸ‘ 9    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
Some things are MORE EQUAL than others??
YouTube video by Sheafification of G Some things are MORE EQUAL than others??

New Sheafification. Holidays will be ok.

www.youtube.com/watch?v=GX5C...

21.12.2025 04:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

nonexample ,Update from 10 months ago. Deepseek just nailed the same question.

Does there exist an infinite abelian group such that each proper subgroup is finite?

18.12.2025 00:40 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

(10 months ago) Hey Deepseek! Does there exist an infinite abelian group such that each proper subgroup is finite?

Deepseek. No...

In reality:

For an example consider a colimit indexed by the natural numbers, of cyclic groups of order 2^n, under monomorphic bonding maps. (Prufer group).

18.12.2025 00:33 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Strong Floor, No Ceiling, Can't Leak!

Dibs.

02.12.2025 05:40 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Strong Floor, No Ceiling, Can't Leak!

02.12.2025 05:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

S: In a Manger (Ippolitov-Ivanov)( Civ V)
A: Fairytale of New York (The Pogues)
B: Run Rudolph Run (Chuck Berry)
C: Please Come Home for Christmas (Don Henley)
D: Santa Claus is Coming to Town (Bruce Springsteen)
F: I saw Mommy Kissing Santa Claus

01.12.2025 04:11 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Watch it cold.

01.12.2025 03:39 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Lots to like, the music alone is enough.

26.11.2025 21:12 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This looks great! Nice collection of topics and you can't beat the price.

24.11.2025 00:05 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Lol. Sorry for not seeing the joke.

20.11.2025 05:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0