>>93
では、BGでは何の独立な公理を加えなくとも(宇宙の存在の話しぬきに)
圏論もOKということですか?