Commit 2025-02-23 22:14 9751f4aa

View on Github →

refactor(Order/Category): ConcreteCategory instance for \omegaCPO (#21478) This should be the final PR replacing HasForget with ConcreteCategory, in this case for \omegaCPO.

Estimated changes

deleted def ωCPO.of
added structure ωCPO
deleted def ωCPO