Thickening is the operation that takes a function and a list of numbers and thickens the diagram of that function informed by the list of numbers. Faithful cartesian clubs are also known as verbal categories (вербальными категориям) in the work of Tronin.
References.
- Абстрактные клоны и операды (Тронин, 2002), Definition 1.
- Об Алгебрах над Мультикатегориями (Тронин, 2014)
- Categorical Logic (Shulman, 2016)
- Combinatory Completeness in Structured Multicategories (Kuzmin, Nester, Reimaa, Speight, 2026)
Tags: Cartesian multicategory, Thickening of a finite function.