ドクトリン http://ncatlab.org/nlab/show/doctrine オペラッドのドクトリン http://ncatlab.org/toddtrimble/published/Towards+a+doctrine+of+operads コスモス http://ncatlab.org/nlab/show/cosmos ユニヴァース http://ncatlab.org/nlab/show/universe …