Basic extensions to Catlab's Poly.jl. Schema category for mappings between polynomials Graph FinPolys ⊲, ⋎, defined in terms of operators in Poly.jl