FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ordered Cubes

Author: Edward Morehouse

Paper Information

Title:Ordered Cubes
Authors:Edward Morehouse
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:cubical sets, shapes for higher-dimensional structure, ordered structures
Abstract:

ABSTRACT.

Pages:2
Talk:Jul 08 15:00 (Session 40H)
Paper: