Opposite Categories: Frm & Loc

Frm and Loc are opposites; they share the same objects, identity arrows, and composition, but the arrows in Frm are pointed in the opposite direction from in Loc. This is a contravariant equivalence of categories.

opposite_categories: Frm, Loc

This data as json

category op
Frm Loc