Braided cogroupoids
arXiv:2606.30165
Computads with invertible generators for weak {\omega}-categories
arXiv:2606.30254
Signed Measures as the Linear Envelope of Positive Measures
arXiv:2606.30273
A general framework for the faithful pointfree representation of T_0...
arXiv:2606.28691
The points of canonical extensions of doctrines
arXiv:2606.28736
Compositional Dynamics in Learning and Mechanics
arXiv:2606.28984
Intrinsic Geometry of Categorified Spectral Objects
arXiv:2606.26553
Isoregular theories, accessible 2-categories, and free constructions
arXiv:2606.26717
On categories of monads and comonads in double categories
arXiv:2606.26755
Some Remarks About Integral Categories
arXiv:2606.21248
Locales in presheaf toposes vs. presheaves of locales
arXiv:2606.21273
Spectral Sequences in Semi-Abelian Categories
arXiv:2606.21342
Operadic categories as (pseudo)-simplicial groupoids
arXiv:2606.15671
Internal Bass-Serre Theory for Tree Quotients
arXiv:2606.16869
Categorified Spectral Duality: From Operator Systems to Spectral Sta...
arXiv:2606.16949
Colocalizing subcategories on differentially graded algebras
arXiv:2606.09398
The Degeneracy of the Centre Comonad Model and the Precomposition Ob...
arXiv:2606.09467
Actions, semidirect products and crossed semimodules in the category...
arXiv:2606.09796
A Universal Theory of Spectral Propagation for Compositional Operato...
arXiv:2606.05524
Planar higher-rank trees have rank at most four
arXiv:2606.05727
A monoidal category of dependently sorted algebraic theories II: cat...
arXiv:2606.00952
A classifying localic category for locally compact locales
arXiv:2606.02025
A Cohesive \infty-Topos with a Quantum Modality from Finite-Dimensio...
arXiv:2606.02269
3K Followers 1K FollowingPostdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
6K Followers 811 Following🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
23K Followers 10K Followingcognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
4K Followers 7K FollowingMathematician (algebraic geometry, motives & friends, singularities in statistics and ML).
'Geometry is successful magic' (R. Thom)
University of Essen.
1K Followers 254 FollowingIf all you have is a functor, everything looks like a diagram.
quantum computing // artificial intelligence // monoidal categories
@[email protected]
0 Followers 23 FollowingMath student. Just published 'Notes on Game System Modeling via Applied Category Theory' on Leanpub! 🚀 Looking for a book cover designer. DM me!
32 Followers 259 FollowingMy areas of interest are condensed matter physics, statistical physics, integrable systems, conformal field theory, mathematical physics, and geometry and topol
6 Followers 81 FollowingO indivíduo pode desaparecer, mas a ideia sobrevive enquanto encontrar novos vetores. Ela não morre facilmente: quando perseguida, se transforma.
16 Followers 221 FollowingI fucking hate far-right, right-wing, centre, left-wing, communists, socialists, libertarians, liberals, hypocrites. I love young busty and/or long-legged women
42 Followers 255 FollowingMinimum Viable Person
Mathematics, Statistics, AI/ML, and a menagerie of other topics | 20 M student | DM's open | I wish you the best
0 Followers 1K FollowingPROTECT ENVIRONMENT & SAVE OUR LIVES!
Working for a Fairer,Sustainable,Prosperous future.
All our dreams can come true, if we have the courage to pursue them.
14 Followers 122 FollowingCatholic. Interested in mathematics and in what technology does to man, myself included. I hold some kind of "sedevacantism." 🇧🇷
13K Followers 4K FollowingChief Architect, Security Research of BigTech
Advisor of Grsecurity. BYOS
Commitee Member of OffensiveCon, Langsec, DistrictCon, Secdev