Prop-categories