Chris Tapo(logy) @DubiousDigraph
He/him | Braids and Category Theory 🔀 | Diagram Doodler. Grindcore Guy. Phoenix, AZ Joined November 2021-
Tweets171
-
Followers113
-
Following351
-
Likes463
So who's trying to team up to describe the category of mixed motives?
0
0
1
21
0
Chris Tapo(logy) retweeted
Dominic Verity, Mario Carneiro and I just announced a new project to formalize some aspects of ∞-category theory in #Lean via the notion of an ∞-cosmos.
Chris Tapo(logy) retweeted
Joseph Helfer: Internal 1-topoi in 2-topoi arxiv.org/abs/2407.19358 arxiv.org/pdf/2407.19358
Chris Tapo(logy) retweeted
Yuhi Kamio, Ryuya Hora: A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi arxiv.org/abs/2407.17105 arxiv.org/pdf/2407.17105
Chris Tapo(logy) retweeted
be not afraid
Throwing operads at graphical calculi and seeing what sticks.
Chris Tapo(logy) retweeted
Merry Christmas one and all!
Chris Tapo(logy) retweeted
Braid theory is really underestimated. It’s not about braids, it’s about partial commutativity, braids are a way of controlling noncommutativity.
Having this crazy idea of starting a "category theory and logic" reading (and possibly research) group for both undergraduate and graduate students at my university. Should I try to do it?
I was gonna get work done today, but I think I'll just impostor syndrome instead.
Here is a paper of mine on braids related to enriched categorical structures! arxiv.org/abs/2308.03201
My dog gave me a short talk on combinatorial methods for local cohomology, how nice of him!
Should've been working on research today, but did this instead.
Me giving a talk about algebra and topology and stuff
Working on computation for graded local cohomology, but wanting to get back into studying the naturohedra and higher categories.
My favorite way of introducing pasting diagrams
TotientQuotient @t0tientqu0tient
1K Followers 683 Following Survived tripos somehow. All effort, no skill. Still trying to become a mathematician. Probably suffering from some form of the Algernon-Gordon effect.
Curr Miller @MillerCurr
192 Followers 7K Following Teach your heart to accept disappointment, every delay every roadblock is a blessing🙏🏿💯
B @bdescob
42 Followers 431 Following
antoine allioux @aallioux_
100 Followers 2K Following
法窍阐微 @YeWei51633704
58 Followers 346 Following Chase dream on my diagram, factorized through the universal existence of canonical projective shadow from my past.
juxiliu789 @juxiliu789
80 Followers 7K Following
George Notwell @animalfarmchina
274 Followers 7K Following
Steph 🍉 they/them @StephDoesMath
1K Followers 4K Following Chicago-style Latinx • 🇲🇽🇵🇷 •gag manga character•📍SoCal • 1st Gen College Grad • 💍 •🖖🏽• RTs≠endorsements•they/she• 🐈⬛🐈 • 32
Meliana Miguel @mig88336
313 Followers 7K Following
☆༒• 𝖌𝖆�... @kvyrtzvveliky
253 Followers 743 Following another victim of gender identity theft | bat in a cave 🦇| in love with bounded arithmetic | profesionální přesouvač písmenek | mff @kvyr-veliky.bsky.social
Simon Pepin Lehalleur @plain_simon
4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.
Seth @MTusone8574
21 Followers 2K Following There is only the puzzle of hard work, there is no glory to wait for.
Subhadip Sarkar(শ�... @sarkarrsubhadip
300 Followers 3K Following ||Mathematical nerd🔢#️⃣🇮🇳|Researcher| ✈️👨🎓|Tweets are my own opinion|
kspt @jimin926
148 Followers 5K Following Anarchist I ACAB I Nonbinary l Vegan I ⚽️ARSENAL⚽️ just want to think about maths and physics
carlota ! @TouchOfDynamite
341 Followers 567 Following física y matemática con complejo de filósofa | UCM
Sαητο Griαl :( @SantoGrial_
2K Followers 341 Following 🍷 Yo melibeo soy y a Melibea adoro y en Melibea creo y a Melibea amo
Mayank Jha @mayankjha1089
71 Followers 460 Following
Jack @sketchesofjack
100 Followers 986 Following mathematical proof, metaphysical truth, thermonuclear fuse, don’t wanna see me in the booth.
Fulton Jackson II @jacksonfulton2
430 Followers 697 Following Average gay.I tweet about tv, movies, and math. Math PhD student. He/Him
Abadi Abraha @AbadiAbraha1
1 Followers 345 Following Applied Mathematician; Interested in Differential Equations, Python Data Analysis, Mathematical Modeling and Epidemiology. Lecturer at University of Mekelle.
Tien Chih @TienChihMath
1K Followers 609 Following Assistant Professor of Mathematics at @EmoryOxford. Father & Husband. Wannabe Cook. I like to teach/do/spread math as I can. (He/His)
Ben Grant @grothenfreaky
55 Followers 180 Following Ph.D. student in Mathematics, @UConn. B.A. Mathematics & Environmental Studies, @StOlaf. he/him/his
spacegray (barf invar... @leftysquash
554 Followers 5K Following not-a-girl-girl-cat theorist (parody) • the usual caveats, but make them c-ptsd/ocd/adhd-c! • #TootAsPrayer #CovidIsAirborne #MTBoS • handles elsewhere may vary
Michael Nelson @mnelso32
25 Followers 141 Following
varkor @varkora
390 Followers 252 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
Sam Kuhn @SamKuhnDev
221 Followers 6K Following
JC @CuddlyCnidarian
564 Followers 1K Following Mathematician, musician, writer, chef. Interests: Floer theory, Khovanov homology, and symplectic topology. (he/him)
Nikhesh @nikheshkumar1
116 Followers 1K Following prev Maths @IIScBangalore, AI @IITMadras searching for bigger questions and better answers
Vadim Leshkov @bewrrrie
35 Followers 461 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)
mathsimp∈ℝ³ @ilovemathuwu
945 Followers 2K Following (she/her) • enjoyer of math+physics+cs+philosophy+STEMed 😎
She hopf on my fibrat... @girlbossmoder
6K Followers 1K Following Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞
xuan (ɕɥɛn / sh-ye... @xuanalogue
9K Followers 1K Following Assistant Professor at NUS. Scaling cooperation for an increasingly automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊
Nico (java arc) @deinemerle
647 Followers 224 Following cats, logic, types and alg geometry, looking for a job in Berlin, he/they
Ben Grant @grothenfreaky
55 Followers 180 Following Ph.D. student in Mathematics, @UConn. B.A. Mathematics & Environmental Studies, @StOlaf. he/him/his
spacegray (barf invar... @leftysquash
554 Followers 5K Following not-a-girl-girl-cat theorist (parody) • the usual caveats, but make them c-ptsd/ocd/adhd-c! • #TootAsPrayer #CovidIsAirborne #MTBoS • handles elsewhere may vary
Dylan Braithwaite @DylanBraith
130 Followers 184 Following PhD student @msptrath. Thinking about some combination of probability, computation and category theory
James Hefford @The_Heff_
100 Followers 56 Following Postdoc @ Inria LMF, into categorical quantum things
Ximena Fernández @pi_ene
2K Followers 214 Following Shape Addict. Lecturer in Mathematics, City University of London
math lion 🦁 @TonyTheLion2500
5K Followers 591 Following I like math, perhaps I like it a lot. I may say some stuff about it. 😁😍👀
sarah @Saraht0n1n
10K Followers 2K Following phd candidate interested in formalizing physics in service of quantum gravity - my views evolve - optimist
Benjamin Mudrak @BenjaminMudrak
318 Followers 554 Following he/him | Math PhD candidate @ Purdue. Wannabe commutative algebraist
varkor @varkora
390 Followers 252 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
manic pixie groyper @wokecisally
324 Followers 624 Following topologist, bisexual woman with mental health issues
Sofia Backlund @backlund_sofia
300 Followers 291 Following PhD student at ISTA. At that awkward interface between biology and maths. She/her. bsky: @backlund-sofia.bsky.social
Stephanie Weirich @fancytypes
3K Followers 354 Following
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
incoherent sasha 📚... @rightexactsasha
70 Followers 72 Following 21 / math kpop lol / studying fields and galois theory + algebraic geometry, interested in geometry / world #1 mina fan / the worst person u have ever met
Lúcás Meier @cronokirby
10K Followers 1K Following Cryptographer at @penumbrazone. My opinions do not yadda yadda. Did an MSc (Computer Science) @EPFL. Avid, not fast runner. https://t.co/yOuGtLnGMF on bsky.
Reed Mullanix @totbwf
454 Followers 117 Following Fibration Fanboy https://t.co/3FOOjTonXO https://t.co/ac7YNlJEw0
daniel gratzer @dannygratzer
1K Followers 764 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️🌈.
Amar Hadzihasanovic @amar_hh
966 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Daniel Adamec @DanielAdamec5
212 Followers 2K Following Math! Language! Other things! Check out my secondary account @HilbertSphere for side-projects @[email protected]
Cliff Pickover @pickover
204K Followers 51 Following Increase your sense of wonder. (Author of 50 books & 800 patents. Yale Ph.D.) "Pickover contemplates realms beyond our known reality." ~NY Times
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Logic & Applications @LogicPractice
27K Followers 8 Following Logic and applications of logic from @JohnDCook
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
math.CT Category Theo... @arXiv_math_CT
1K Followers 28 Following Abstracts of math.CT (Category Theory) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
Dr. Bradley Lewis Bur... @BradleyLBurdick
262 Followers 241 Following Lecturer | University of Kentucky | Riemannian Geometer | all opinions my own | he/him I am for the liberation of all people, whatever that may mean for them.
sophia lake @fppf_gf
2K Followers 737 Following im soph • im lake • trans • she/her or ze/hir • in grad school • banner credit to @plt_amy
Giles Goat-Girl @nadienadianadie
3K Followers 4K Following she/hermit. local intelligibility as defining property. world’s biggest Cynthia Ozick stan (except about Palestine). late twenties
David Jaz Myers @myers_jaz
1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
isn @57_isprime
100 Followers 157 Following Math undergrad. Number Theory, Algebraic Geometry, Complex Networks. (he/him)
Stan (@stanley-p.bsky... @___smite
92 Followers 167 Following graduate student and adjunct instructor in mathematics. topology, data science, and social justice. not super active here. he/him
Stefan Forcey @StefanForcey
103 Followers 183 Following
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.Trends for United States
15,4 B posts
173 B posts
26,5 B posts
487 B posts
356 B posts
70,5 B posts
10,8 B posts
3.764 posts
8.350 posts
7.461 posts
2.467 posts
2.738 posts
255 B posts
51,4 B posts
14 B posts
136 B posts
9.437 posts
47,9 B posts
8.556 posts
You might like
adittya chaudhuri(@Ad...
@adittyachaudhu1
1K Followers
Homie O'Morphism
@hayden_wlog
889 Followers
Prakhar Pratyush 🇮...
@pursuingstacks
471 Followers
Simon Pepin Lehalleur
@plain_simon
4K Followers
jord!
@isbellduality
854 Followers