Mario Román

Search

Virtual stars

Last updated Feb 3, 2024

virtual-stars

Prolinearly distributive category
linearly distributive category

Mario Román, CC BY-SA 2024.

Home
ArXiv
Github