Commit 2024-11-25 15:15 3e56ff8f

View on Github →

feat(CategoryTheory): limits of eventually constant functors from cofiltered categories (#19021) An eventually constant functor from a cofiltered category admits a limit.

Estimated changes