{dual category} [ریاضی] رسته ای متناظر با رستۀ مفروض با همان اشیا ولی با ریختارهایی که جهتشان معکوس ریختارهای رستۀ مفروض است