同値関係も完全系列も理解できない信者に
圏も導来圏もムリ