Commit 2025-01-27 06:10 3f5ccd45

feat: separating set in the category of ind-objects (#21082) Under sufficient conditions (for example if C is small, preadditive and has finite coproducts) we will be able to assemble this into a separating object.