Samuel Mimram

Available identifiers

zbMath Open mimram.samuelMaRDI QIDQ265806

List of research outcomes

Publication	Date of Publication	Type
A sequent calculus for opetopes	2024-12-19	Paper
Describing free \(\omega \)-categories	2024-12-19	Paper
A Cartesian bicategory of polynomial functors in homotopy type theory	2024-12-17	Paper
Syntactic regions for concurrent programs	2024-12-17	Paper
Categorical coherence from term rewriting systems	2024-10-21	Paper
Free precategories as presheaf categories	2024-07-20	Paper
Division by two, in homotopy type theory	2024-05-27	Paper
Polygraphs: From Rewriting to Higher Categories	2023-12-01	Paper
Rewriting in Gray categories with applications to coherence	2023-02-10	Paper
A Sound Foundation for the Topological Approach to Task Solvability	2023-02-03	Paper
Free precategories as presheaf categories	2022-11-29	Paper
Syntactic approaches to opetopes	2022-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5091106	2022-07-21	Paper
Tietze equivalences as weak equivalences	2022-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q5013809	2021-12-02	Paper
Coherence of Gray Categories via Rewriting	2021-06-15	Paper
A Type-Theoretical Definition of Weak {\omega}-Categories	2021-01-19	Paper
Directed Homotopy in Non-Positively Curved Spaces	2020-07-30	Paper
From geometric semantics to asynchronous computability	2018-08-24	Paper
Geometric and combinatorial views on asynchronous computability	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q5369492	2017-10-17	Paper
Coherent Presentations of Monoidal Categories	2017-10-12	Paper
Presenting a Category Modulo a Rewriting System	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2958386	2017-02-01	Paper
A geometric view of partial order reduction	2016-04-12	Paper
A categorical theory of patches	2016-04-12	Paper
Iterated chromatic subdivisions are collapsible	2015-11-18	Paper
Formal Relationships Between Geometrical and Classical Models for Concurrency	2015-03-18	Paper
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram	2015-02-11	Paper
Towards 3-Dimensional Rewriting Theory	2014-05-22	Paper
A non-standard semantics for Kahn networks in continuous time	2012-09-18	Paper
Trace Spaces: An Efficient New Technique for State-Space Reduction	2012-06-22	Paper
Computing Critical Pairs in 2-Dimensional Rewriting Systems	2012-04-25	Paper
The structure of first-order causality	2011-03-07	Paper
Focusing in Asynchronous Games	2010-07-29	Paper
Asynchronous Games: Innocence Without Alternation	2008-09-18	Paper
Globular weak $\omega$-categories as models of a type theory	N/A	Paper
Coherence in cartesian theories using rewriting	N/A	Paper
Delooping generated groups in homotopy type theory	N/A	Paper

Research outcomes over time

This page was built for person: Samuel Mimram