Webs of Type P

This paper introduces type P web supercategories. They are defined as diagrammatic monoidal $k$-linear supercategories via generators and relations. We study the structure of these categories and provide diagrammatic bases for their morphism spaces. We also prove these supercategories provide combinatorial models for the monoidal supercategory generated by the symmetric powers of the natural module and their duals for the Lie superalgebra of type P.
Comment: Final version. Compared to the first version, there are no substantive changes to the mathematics, but numerous changes to exposition in response to referee suggestions. Updated authors' affiliations