feat(CategoryTheory): a small colimit of presentable objects is presentable#19955
Open
joelriou wants to merge 61 commits intomasterfrom category-theory-accessible2
+982-7
Commits
Commits on Dec 13, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/category-theory-arrow-cardinal' into category-theory-accessible
committed- committed
- committed
Merge remote-tracking branch 'origin/category-theory-arrow-cardinal' into category-theory-accessible
committed- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Dec 14, 2024
- committed
- committed
- committed
Merge remote-tracking branch 'origin/category-theory-arrow-cardinal' into category-theory-accessible
committed- committed
- committed
Merge remote-tracking branch 'origin/set-theory-has-cardinal-lt' into category-theory-arrow-cardinal
committed- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 16, 2024
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/set-theory-has-cardinal-lt' into category-theory-arrow-cardinal
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 26, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed