"Uniform Resource Identifier (URI): Generic Syntax" というタイトルのRFCは2つある。 RFC2396（1998年発行）http://www.ietf.org/rfc/rfc2396.txt, http://tools.ietf.org/html/rfc2396 RFC3986（2005年発行）http://www.ietf.org/rfc/rfc3986.txt, http:…

データ領域は実は集合ではない。setoid。だから、ほんとはsetoidの圏を使わないといけない。かなりめんどくさい。 基礎の圏は双デカルト圏であり半環圏である。これは基本のキ。 基礎の圏はskeletalかもしれない。（http://en.wikipedia.org/wiki/Skeleton_%…