Categorical Theory of (, ) -Categories | Synapse