Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created cartesian multicategory.
Nice!
To add once editing is back: abstract clones for abstract syntax.
Is there any reference on cartesian multicategories or is it brand new research?
I would like to use it to conceptualize formal definitions about polynomials between vector spaces as in the chapter 1: Polynomials of the book Complex Analysis on Infinite Dimensional Spaces (Seán Dineen). These things are purely formal and thus cartesian multicategories are maybe the good place to talk about polynomials categorically.
I need a place where I can compose a copy map $\Delta^{n}:E \rightarrow E^{n}$ with a $n$-linear map $f:E^{n} \rightarrow F$ and such a composite $\Delta^{n};f$ would be the definition of an homogeneous polynomial of degree $n$ from $E$ to $F$.
Maybe such a place would give a cartesian differential category.
1 to 7 of 7