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 integral domain?
residue field?
residue skewfield?
residue domain?
commutative residue reciprocal ring?
commutative residue division ring?
residue reciprocal ring?
residue division ring?
residue reciprocal Z-algebra?
residue division Z-algebra?