Mario Román

Search

Virtual stars

Last updated Sep 8, 2023

virtual-stars

Prolinearly distributive category
linearly distributive category

Mario Román, CC BY-SA 2023.

Home
ArXiv
Github