Do note that this route is probably unoptimal but I simply do not care as this is a category extension so I don't care

https://docs.google.com/document/d/15_FGbH9rJk1heqIEZzsOIKQFcPYB8EbJ-VNIxfuroUg/edit?usp=drivesdk