Mario Román

Search

Free conical cocompletion

Last updated Jul 11, 2023

free-conical-completion

Promonad
Free conical cocompletion
Optics for Premonoidal Categories

Mario Román, CC BY-SA 2023.

Home
ArXiv
Github