1 paper
Perry Hart, Kuen-Bang Hou
We contribute to the theory of (homotopy) colimits inside homotopy type theory. The heart of our work characterizes the connection between (graph-indexed) colimits in a type univer…