cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Sequential colimits

Open felixwellen opened this issue 3 years ago • 1 comments

Basic results about sequential colimits, using this paper: https://florisvandoorn.com/papers/sequential_colimits_homotopy.pdf

Based on #589 because of the successor-structures.

felixwellen avatar Aug 12 '21 15:08 felixwellen

@felixwellen Please decide if you want to keep it or close it :-)

mortberg avatar Aug 10 '22 13:08 mortberg

Don't know how I missed the implementation in #729... -> Closing.

felixwellen avatar Nov 10 '22 14:11 felixwellen