Also known as dual category, opposite of a category
category constructed from another category C, whose objects are the same as those of C, whose morphisms from X to Y are the same as the morphisms in C from Y to X
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).