#versetwo
LightNews LightNews
shimmermathlabs.com
working on some occult category theory music, but first verifying the math in the lyrics using lean as one does
/-- Verse 1: chain two charms, then cross = cross each, then chain. -/ theorem verseOne (F : Functor C D) {A B E : C.Obj} (f : C.Hom A B) (g : C.Hom B E) : F.map (C.comp f g) = D.comp (F.map f) (F.map g) := F.map_comp f g /-- Verse 2: walk with F, then cross = cross, then walk with G. -/ theorem verseTwo {F G : Functor C D} (η : NatTrans F G) {A B : C.Obj} (f : C.Hom A B) : D.comp (F.map f) (η.app B) = D.comp (η.app A) (G.map f) := η.naturality f
October 1, 2026 at 10:47 PM
musicbyfox01.bsky.social
👀 #rap #hiphop #versetwo #verse2 #808bass #bass #best #bestsong #listen #stream #love #trending #trend #pro #rockwithme #follow #random #musician #upandcomingartist #fyp #fypisbroken #viral #music #musicartist #alrernative #spotify #youtube #viraltiktok #emo #song #genz #millennial #hot #edit #edits
November 7, 2025 at 10:02 PM