leastfixedpoint

Archived tweet #9012 from the @leastfixedpoint Twitter Archive
This perspective allows us to recast transport-neutrality as a kind of (bounded) parametricity.