Full threadunprovable·Missing opportunity for rational compositionalists over Grothendick Topologies and (pre-)sheaves taking FiftySevenLabsView on HN