#Morphisms

Fabrizio Romano Genovese

fabgenovese

A thread on Poly!Poly is one of the hottest topic in ACT right now: Several research groups are working on it, more or less ignognito.Poly is the category of polinomial

fppf gf

ZariskiBusiness

triangulated categoriesthe audience of this thread is people who have some familiarity w/ category theory and homological algebra. i wish i could start from scratch but that would make this

🌻Bee🐝Springs🐇🖋🐕Steve📚

PatchieSteve

Edward pulls the cart wearily into the allotment, its wheels coated in mud, his boots thick with clay, twigs n leaves. Mushrooms behind his ears. "Wakey wakey my little #morphisms!"

Jonathan Beardsley

JBeardsleyMath

Okay so what's a model category? First of all, I'm talking about Quillen model categories, which are things that show up in algebraic topology and homotopy theory. Sorry to disappoint

Vidit Nanda

viditnanda

[1/20] Complexes of groups are concrete objects living at the intersection of many abstract fields of mathematics: algebraic topology, algebraic+differential geometry, and even higher categories.But their most natural home is

kenbot

KenScambler

My best kept secret* is that string & wiring diagrams--plucked straight out of applied category theory--are *fabulous* for software and system design. And you don't have to learn a damn

category fibered in sarahzrfs

sarah_zrf

thread timehttps://twitter.com/ZariskiBusiness/status/1281003062954467328 so, let's say we have a category C (it should probably be small if we want things to work well and we're being pedantic)a good case to keep