Globular関係のURL

• ソフトウェア： http://globular.science/
• ヘルプ： https://ncatlab.org/nlab/show/Globular

論文

• Title: Globular: an online proof assistant for higher-dimensional rewriting
• Authors: Krzysztof Bar, Aleks Kissinger, Jamie Vicary
• Pages: 18p
• URL: https://arxiv.org/abs/1612.01093
• Comment: マニュアルと思ってよい。

• Title: Data structures for quasistrict higher categories
• Authors: Krzysztof Bar, Jamie Vicary
• Pages: 112p
• URL: https://arxiv.org/abs/1610.06908
• Comment: データ構造とアルゴリズムの詳しい解説。

• Title: Surface diagrams for gray-categories
• Authors: Benjamin Taylor Hummon
• Pages: 142p
• URL: http://escholarship.org/uc/item/5b24s9cc
• Comment: 1, 2, 3次元のストリング図（ドット図、ストリング図、サーフェイス図）の丁寧な説明。

• Title: Coherence for braided and symmetric pseudomonoids (May 31, 2017)
• Author: Dominic Verdon
• Pages: 44p
• URL: https://arxiv.org/abs/1705.09354
• Comment: Globularの使用例、少しだけ参考になる。