2017-09-07 pentacategory 高次圏論 用語法 https://ncatlab.org/nlab/show/bicategory https://ncatlab.org/nlab/show/tricategory https://ncatlab.org/nlab/show/tetracategory pentacategoryのエントリーはないし、誰も使ってないようだ。次も参照。 https://ja.wikipedia.org/wiki/%E5%80%8D%E6%95%B0%E6%8E%A5%E9%A0%AD%E8%BE%9E