Author: Guest Format: MarkdownItexstarting page on contravariant type families in simplicial homotopy type theory
<a href="https://ncatlab.org/nlab/revision/contravariant+type+family/1">v1</a>, <a href="https://ncatlab.org/nlab/show/contravariant+type+family">current</a>
starting page on contravariant type families in simplicial homotopy type theory