Here we collect articles about doing set-level algebra in HoTT.
sequence
left shift operator
right shift operator
Z-module
sequential polynomial
series operator
inverse series operator
sequential derivative
Q-module
sequential antiderivative
sequential differential operator?
sequential linear differential equation?
sequential exponential?
sequential sine?
sequential cosine?
bidirectional sequence
bidirectional shift operators?
Revision on June 12, 2022 at 16:30:36 by Anonymous?. See the history of this page for a list of all contributions to it.