Here we collect articles about doing set-level algebra in HoTT.
sequential differential operator?
sequential linear differential equation?
sequential exponential?
sequential sine?
sequential cosine?
bidirectional shift operators?
residue cancellation Z-algebra?
residue cancellation ring?
commutative residue cancellation ring?
residue domain?
residue integral domain?