Simon Forest

Available identifiers

zbMath Open forest.simonMaRDI QIDQ2828262

List of research outcomes

Publication	Date of Publication	Type
Describing free \(\omega \)-categories	2024-12-19	Paper
Free precategories as presheaf categories	2024-07-20	Paper
Rewriting in Gray categories with applications to coherence	2023-02-10	Paper
The Cartesian Closed Bicategory of Thin Spans of Groupoids	2023-01-27	Paper
Free precategories as presheaf categories	2022-11-29	Paper
A Dynamic Neural Field Model of Multimodal Merging: Application to the Ventriloquist Effect	2022-08-11	Paper
Unifying notions of pasting diagrams	2022-08-04	Paper
An extension of Batanin's approach to globular algebras	2022-04-05	Paper
Coherence of Gray Categories via Rewriting	2021-06-15	Paper
Dependent types and multi-monadic effects in \(\mathrm{F}^*\)	2016-10-24	Paper
Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets	2015-09-11	Paper
An Analysis of Symmetry in Quantitative Semantics	N/A	Paper

Research outcomes over time

This page was built for person: Simon Forest