Weighted Kan Extension

References

• https://mathoverflow.net/questions/353806/is-there-such-a-thing-as-a-weighted-kan-extension