feat(CategoryTheory/Presentable): accessible functors satisfy the solution set condition#41236
Open
joelriou wants to merge 448 commits into
Open
feat(CategoryTheory/Presentable): accessible functors satisfy the solution set condition#41236joelriou wants to merge 448 commits into
joelriou wants to merge 448 commits into
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Oct 16, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 19, 2025
Commits on Oct 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 25, 2025
Commits on Oct 27, 2025
- andauthored
- committed
- committed
- committed
- committed
Commits on Oct 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 29, 2025
Commits on Nov 8, 2025
Commits on Nov 9, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 17, 2025
Commits on Nov 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 29, 2025
Commits on May 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- andauthored
- andauthored
- andauthored
- committed
Commits on May 22, 2026
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- committed
Commits on May 29, 2026
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed
Commits on Jun 20, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jun 23, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jun 24, 2026
- committed
- andauthored
- committed
- committed
Commits on Jun 25, 2026
Commits on Jun 26, 2026
- committed
- committed
- committed
- andauthored
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- andauthored
- andauthored
Commits on Jul 1, 2026
- committed
- committed
- committed
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 2, 2026
Commits on Jul 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/partial-order-cardinal-accessible' into accessible-solution-set
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed