Sekirov Dictionary

opmonoidal

adjective1

Having a natural family of distributive morphisms and an identity morphism that are coherent.

This dictionary works without the internet: on your phone · in Chrome