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.
feat(CategoryTheory): limits of eventually constant functors from cofiltered categories (#19021) An eventually constant functor from a cofiltered category admits a limit.