September 24th
Today I learned the definition of a filtered poset for the categorical colimit. The basic case for partially ordered sets is essentially saying that \todo{finish this}
Today I learned the definition of a filtered poset for the categorical colimit. The basic case for partially ordered sets is essentially saying that \todo{finish this}