limits): generalize universe (#11070)

Commit

4 years ago

chore(category_theory/adjunction/limits): generalize universe (#11070) Co-authored-by: Junyan Xu <junyanxu.math@gmail.com>

Author

alreadydone

Parents