lim_k colim_j F(j,k)

Commit

5 years ago

feat(category_theory/limits): the universal morphism colim_j lim_k F(j,k) -> lim_k colim_j F(j,k)

References

Author

kim-em

Parents