Re:Computational Category Theory in Python III: Monoids, Gro...
by contravariant on Sunday May 03, 2020 @10:22AM
(#23059160)
Among other things it contributes a precise definition of the notion of products and sums of algebraic spaces, as well as generalizations and proofs of their basic properties.
[ Parent
| on HN ]
There are no comments on this comment yet.