Simplicial sets inside cubical sets

As observed recently by various people the topos sSet of simplicial sets appears as an essential subtopos of a topos cSet of cubical sets, namely presheaves over the category FL of finite lattices and monotone maps between them. The latter is a variant of the cubical model of type theory due to Cohe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and applications of categories 2021-01, Vol.37 (11), p.276
Hauptverfasser:	Streicher, Thomas, Weinberger, Jonathan
Format:	Artikel
Sprache:	eng
Schlagworte:	Finite element analysis Homotopy theory Lattices Mathematical models Model testing Set theory Sheaves Topology
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!