ZihengH63

A criterion for detecting the same lattice

Intuition for Kan extensions, ends and coends