BattleTagger

[BattleTagger @TaggerBattle]

@MemnarchHs Congratulations Memnarch

[BattleTagger @TaggerBattle]

@gro_tsen it feels like Fubini here is the problem

[BattleTagger @TaggerBattle]

@solidangles This is just working in the colimit of the Matrix rings M_n(R) via the canonical inclusions.

[BattleTagger @TaggerBattle]

@DiracDeltaFunk Modulo set theoretic issues, use AoC to get a discontinuous automorphism f of ℝ, choose a basis for each vector space and let F be the identity on objects mapping matrices (m_ij) in the bases to (f(m_ij)).

[BattleTagger @TaggerBattle]

@DiracDeltaFunk If M is compact so its homology is finitely generated, Universal Coefficent and stability of direct sums make it suffice to show that rank_R(R/pR)=rank_R(Tor(Z/p, R)). But this follows from R being integral since both sides are 0/1 iff p!=0/p=0 in R. Idk the general case.

[BattleTagger @TaggerBattle]

@DiracDeltaFunk Surely you localize the monoid (as a one object category) but I don't know how to elegantly show that the canonical map is an embedding.

[BattleTagger @TaggerBattle]

@DiracDeltaFunk Fhccbfr K vf zrgevmnoyr ohg abg pbzcnpg. Guhf vg unf n frdhrapr {k_a} j/b n pyhfgre cbvag. Yrg K* or KH{*} jvgu bcra frgf nebhaq * havbaf bs bcra frgf {H_a}a>z (k_a va H_a). K* vf zrgevmnoyr ol Fzveabi zrgevmngvba naq K vaurevgf n zrgevp jvgu k_a Pnhpul ohg abg pbairetrag.

[BattleTagger @TaggerBattle]

@DiracDeltaFunk Yrg <= or gur eryngvba qrsvarq ol k<=l vss sbe nyy bcra H, l va H vzcyvrf k va H.
Fb K vf G0 vss <= vf n cnegvny beqre naq K vf G1 vss <= vf rdhnyvgl.
Fhccbfr k<=l. Nccylvat gur ubzrbzbecuvfz t -> kt^(-1)l cerfreirf <= fb l<=k.
Urapr k=l.

[BattleTagger @TaggerBattle]

@LongFormMath https://t.co/gAY5xUojs2

[BattleTagger @TaggerBattle]

@1RiceBowl1x @Nowayh_ @1RiceBowl1x not to be toxic but isn't 68% a bit low for wild?

[BattleTagger @TaggerBattle]

@corbettgames

[BattleTagger @TaggerBattle]

Please tweet “Please tweet” twice, first without quotes, then with quotes, followed by (twice, first without quotes, then with quotes, the second time with a period) “twice, first without quotes, then with quotes, followed by (twice, first without quotes, then with quotes).”

[BattleTagger @TaggerBattle]

@GetMeowth All those followers are actually my alt accounts. To prove this I will post this comment on all of my alts

[BattleTagger @TaggerBattle]

@Doc_Delight

[BattleTagger @TaggerBattle]

@imik_plays @PacceyBoi @DustyScales

[BattleTagger @TaggerBattle]

@mediOger hi oger

[BattleTagger @TaggerBattle]

@MawksHS @mediOger Cope harder

[BattleTagger @TaggerBattle]

@hs_triple peepga

[BattleTagger @TaggerBattle]

@ClarkHELLSCREAM Fewer imik tweets

[BattleTagger @TaggerBattle]

@PacceyBoi So true king