I thought people in here might enjoy this Sage application I made that cables braids together (as in the braid operad): sites.math.washington.edu/~jbeards1/braidapp.html

It'd be relatively easy to extend to cabling multiple braids into a single braid, if that's something anyone would ever have use for. I just mostly wanted to figure out how Sage worked, and understand an algorithm for cabling braids, at the same time. So I made that goofy thing.

@JonathanBeardsley Very cool! Out of curiosity, how long did this take you?

@TomBachmann Good question, haha. It took me about three days, but I was pretty much constantly doing other things, like taking care of the baby. So I dunno, total hours? Maybe 8?

Did you know python (?) before but not sage?

Nah, neither.

Impressive :).

Hah! Happy to share the code with anyone who wants it. It's not too complicated.

I hadn't written code really since college, but I felt like it was something I could do in bite sized pieces while the kid was napping, unlike homotopy theory.

I should also say that the actual algorithm (not the code, but like, the math part) is something @TimCampion came up with (although he's probably getting pretty sick of me tagging him about it)

@DenisNardin Someone I'm talking to was wondering if you can get equivariant K-theory from working with parametrized stuff all the way through

like, is there a parametrized S. construction?

@HarryGindi What kind of equivariant K-theory are we talking about?

Let's say I want to compute the homotopy limit of a cosimplicial object in a model category, but I don't want to use the Reedy model structure, but the injective model structure. What are the injective fibrant cosimplicial objects in the category? I'm guessing we ask some of the maps to be fibrations but which one?