Author: mattecapu Format: MarkdownItexCreated page to write down somewhere the characterization of implicative structures as generalised Benabou cosmoi.
<a href="https://ncatlab.org/nlab/revision/implicative+structure/1">v1</a>, <a href="https://ncatlab.org/nlab/show/implicative+structure">current</a>
Created page to write down somewhere the characterization of implicative structures as generalised Benabou cosmoi.
Author: mattecapu Format: MarkdownItexAdded a comment about why it is intriguing to see implicative structures as cosmoi
<a href="https://ncatlab.org/nlab/revision/implicative+structure/1">v1</a>, <a href="https://ncatlab.org/nlab/show/implicative+structure">current</a>
Added a comment about why it is intriguing to see implicative structures as cosmoi
Author: mattecapu Format: MarkdownItexAdded reference to second Miquel's paper
<a href="https://ncatlab.org/nlab/revision/diff/implicative+structure/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/implicative+structure/2">v2</a>, <a href="https://ncatlab.org/nlab/show/implicative+structure">current</a>