diff --git a/colimit/README.md b/colimit/README.md new file mode 100644 index 0000000..02e1d55 --- /dev/null +++ b/colimit/README.md @@ -0,0 +1 @@ +This folder contains various properties about colimits, from a paper to appear by Egbert Rijke, Floris van Doorn and Kristina Sojakova. \ No newline at end of file