#

semisimplicial-types

Here is 1 public repository matching this topic...

jaycech3n / internal-diagrams

WIP: Reedy fibrant diagrams in models of type theory

type-theory category-theory homotopy-type-theory semisimplicial-types categories-with-families

Updated Dec 6, 2024
Agda

Improve this page

Add a description, image, and links to the semisimplicial-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the semisimplicial-types topic, visit your repo's landing page and select "manage topics."