CZH_Elementary_Categories Dependents

Category Theory for ZFC in HOL III: Universal Constructions

by Mihails Milehins