Unbiased premonoidal category

Last updated Feb 3, 2024

• premonoidal category
• Type Theory for unbiased monoidal categories

References

• Higher Operads, Higher Categories (Leinster)

#note