Weighted Kan Extension
References
https://mathoverflow.net/questions/353806/is-there-such-a-thing-as-a-weighted-kan-extension
Backlinks