Commit 2024-02-09 04:56 8b0bff10
View on Github →feat(CategoryTheory/Localization): the localized category has finite products (#9692) In this PR, it is shown that under suitable assumptions, a localized category has finite products.
feat(CategoryTheory/Localization): the localized category has finite products (#9692) In this PR, it is shown that under suitable assumptions, a localized category has finite products.