Separating Concurrent Languages with Categories of Language Embeddings