(Left and center are for a course on computable algebraic structures next semester)
(Left and center are for a course on computable algebraic structures next semester)
Our goal is to unravel some work by Grandis and Paré into a more digestible format for use in explicit computations (particularly regarding cell-wise universal properties).
Our goal is to unravel some work by Grandis and Paré into a more digestible format for use in explicit computations (particularly regarding cell-wise universal properties).