Title: The Small Object Argument in the category of assembliesAbstract:In this talk, we will review the category of assemblies and go over the notion of W-types with reductions and the WISC axiom. We will use the W-types with reductions to construct a version of the small object argument in the category of assemblies. If time […]