home.social

#symmetric — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #symmetric, aggregated by home.social.

  1. After failing to create a #symmetric #powersupply using an OpAmp and BJTs to split 24V by forming a virtual ground, I went the easy route. Two #BoostConverter set to 12V each are connected in series with the center being ground. This way I get symmetric +/-12V. Of course I don't rely on the #battery protection, but rather use a 900mA #PPTC #fuse per rail. Also a switch and some LEDs as indicator. Enough #JST sockets for my upcoming #synth projects.
    #perfboard #diy #perfboard #KiCad

  2. New paper 🎉🎉
    About coherence 🥱💤⁉️

    joint work with Nick Gurski
    arxiv.org/abs/2312.11261

    The title is:
    Universal pseudomorphisms, [*deep breath*]
    with applications to diagrammatic coherence for braided and symmetric monoidal functors 🙃😸

    I've always thought coherence theorems sound boring, but actually they're good! In this paper we take a problem that is hard (coherence for structured functors), do a *bunch* of really abstract stuff (2-monad theory), and come out with a solution that makes your life* significantly better.

    [*Here, "your life" means the part of your life you spend checking diagrams of braided monoidal functors. Or, more generally, pseudomorphisms for algebras over a 2-monad.]

    Almost 1/5 of this paper is dedicated to real, genuine examples, and that's what I want to focus on below. I'll say just a bit about the more abstract machinery on which the examples are based. If you've been following along, this is the culmination of my series "weird facts about monoidal functors and coherence" [1,2,3,4].

    [1] mathstodon.xyz/@nilesjohnson/1
    [2] mathstodon.xyz/@nilesjohnson/1
    [3] mathstodon.xyz/@nilesjohnson/1
    [4] mathstodon.xyz/@nilesjohnson/1

    #CategoryTheory #MonoidalFunctor #Coherence #Braided #Symmetric #PseudomorphismClassifier

    (1/14)

  3. Earlier this afternoon we were contacted by the local cable monopoly, #MidCo to let us know that they had finally completed construction on their planned #Fiber expansion.

    Guess who's in line to get #symmetric fiber installed to their home tomorrow morning? #ThisGuy