Lax objects and categorical many-valued functions | Synapse