Suppose I am on https://catdat.app/category-properties and switch to functor from the dropdown menu on the right. Then the page that opens is https://catdat.app/functors, whereas I expect https://catdat.app/functor-properties to open.
Suppose I am on https://catdat.app/category-properties and switch to functor from the dropdown menu on the right. Then the page that opens is https://catdat.app/functors, whereas I expect https://catdat.app/functor-properties to open.