Since September 15, 2000, the domain name categorical.org has properly been used for a bona fide offering of information on category theory along the guidelines on the Uniform Domain Name Dispute Resolution Policy ( Japanese tr.), approved by ICANN on October 24, 1999.