Mario Román

Search

Free conical cocompletion

Last updated May 3, 2024

free-conical-completion

promonad
Free conical cocompletion
Optics for Premonoidal Categories

Mario Román, CC BY-SA 2024.

Home
ArXiv
Github