Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT
Author: Genki Sato
Paper Information
| Title: | Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT |
| Authors: | Genki Sato |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | geometric realization, semisimplicial type, higher inductive type, metatheory |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 07 15:00 (Session 30C) |
| Paper: |  |