現代数学の基礎概念としては、位相と群、環、体などの第数系があるが、層、圏、トポス、ロジックを加えたいとの考えから、またス、圏、トポスは集合論および数理論理学と密接な関係を持っているため、こういうことを多少なりとも強調する入門書を書いてみたいとの考えからこの本が生まれた。