集合圏Set[category of sets Set]
集合を対象とし,写像を射とする圏が集合圏.
Mathematics is the language with which God has written the universe.
