kan_extension): Prove (co)reflectivity for Kan extensions (#8962)

Commit

4 years ago

feat(category_theory/limits/kan_extension): Prove (co)reflectivity for Kan extensions (#8962)

Author

adamtopaz

Parents