News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.