CV

Research work

Two equivalent descriptions of opetopes: in terms of zoom complexes and of partial orders

A poset-like approach to positive opetopes

A Coq Formalization of the Bochner integral