Post

ꭓle Ormsby 𓆙

@e-infinity.space

Everyone: Still everyone: nlab: Who wants a hyperbolic tangent and a limit in their absolute value definition?

Mulberry@mulberry.bsky.social

A history of the definition of absolute value according to nlab

25/10/26, 4:04 pm2 reposts15 likes

Steven Clontz

@clontz.org

ncatlab.org/nlab/show/ab... I was really hoping it was in reverse chronological order but

ncatlab.org absolute value in nLab

Mulberry

@mulberry.bsky.social

obviously the last definition is heinous, but i want to know who saw totally ordered abelian group, thought that was much too specific for the real numbers, and changed it to pseudolattice ordered abelian group (when nlab doesn't even have a page for pseudolattices)

🌵🍒 apulimu 🍒🌵

@applimu.bsky.social

ohh because lim tanh(nx) approaches the sign function pointwise.