Version 2 of the Zero–Infinity Duality Framework introducing a formal symbolic rewrite algebra, non-cancellative semantics, circular topology on S¹, antipodal transport, and observation calculus.
Maneth Sethnal Wijimanna (Tue,) studied this question.