Matteo Capucci
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
normalize poems in math (from ncatlab.org/nlab/show/%C...)
February 17, 2025 at 11:42 AM
normalize poems in math (from ncatlab.org/nlab/show/%C...)
not on my bingo card: an ε-δ definition of continuity in category theory (from 'Homotopy Linear Algebra' arxiv.org/abs/1602.05082)
February 14, 2025 at 3:41 PM
not on my bingo card: an ε-δ definition of continuity in category theory (from 'Homotopy Linear Algebra' arxiv.org/abs/1602.05082)
*screams in efficient market hypothesis*
January 30, 2025 at 2:56 PM
*screams in efficient market hypothesis*
today's (well-known) trick in category theory: the pasting law for pullbacks works in two directions, i.e. if the right square below is a pb then the left square is a pb *if and only if* the pasting is
in other words: drawing the pb corner on the right isn't ambiguous notation
in other words: drawing the pb corner on the right isn't ambiguous notation
January 30, 2025 at 10:34 AM
today's (well-known) trick in category theory: the pasting law for pullbacks works in two directions, i.e. if the right square below is a pb then the left square is a pb *if and only if* the pasting is
in other words: drawing the pb corner on the right isn't ambiguous notation
in other words: drawing the pb corner on the right isn't ambiguous notation
screaming this at real analysts like a lovecraftian banshee
January 20, 2025 at 1:59 PM
screaming this at real analysts like a lovecraftian banshee
chad admission of fucking around in this paper
January 17, 2025 at 3:20 PM
chad admission of fucking around in this paper
why do people (here: Girard) write sequent calculi with only right-handed sequents? is it just convenience?
January 16, 2025 at 3:44 PM
why do people (here: Girard) write sequent calculi with only right-handed sequents? is it just convenience?
as X the everything app continues to rot, I am once again asking for interesting/cool/accounts to follow here (not necessarily math related)
January 13, 2025 at 2:47 PM
as X the everything app continues to rot, I am once again asking for interesting/cool/accounts to follow here (not necessarily math related)
rip apery you would have been a formidable poster
January 13, 2025 at 2:43 PM
rip apery you would have been a formidable poster
solar-powered semiology ☕
January 12, 2025 at 9:59 AM
solar-powered semiology ☕
