Faithful cartesian club

Last updated Feb 3, 2024

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.

Tags: Cartesian multicategory, Thickening of a finite function.