圏論ベースだからね
標準的な圏論との違いは複数の宇宙とその間の通信（Θ-link）を考えること