| Publication | Date of Publication | Type |
|---|
Clock systems for stochastic and non-deterministic categorical systems theories
(available as arXiv preprint) | 2026-01-01 | Paper |
Twisted double functors and loosely discrete opfibrations
(available as arXiv preprint) | 2026-01-01 | Paper |
Towards a double operadic theory of systems
(available as arXiv preprint) | 2025-01-01 | Paper |
Classifying strict discrete opfibrations with lax morphisms
(available as arXiv preprint) | 2025-01-01 | Paper |
Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
(available as arXiv preprint) | 2025-01-01 | Paper |
Modal fracture of higher groups
Differential Geometry and its Applications | 2024-10-08 | Paper |
Topological quantum gates in homotopy type theory
Communications in Mathematical Physics | 2024-08-06 | Paper |
Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
(available as arXiv preprint) | 2024-01-01 | Paper |
| Commuting Cohesions | 2023-01-31 | Paper |
Commuting Cohesions
(available as arXiv preprint) | 2023-01-01 | Paper |
Good fibrations through the modal prism
(available as arXiv preprint) | 2022-08-04 | Paper |
| Good fibrations through the modal prism | 2022-08-04 | Paper |
| Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory | 2022-05-31 | Paper |
Double categories of open dynamical systems (extended abstract)
(available as arXiv preprint) | 2022-01-10 | Paper |
| Double categories of open dynamical systems (extended abstract) | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454909 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454909 (Why is no real title available?) | 2022-01-10 | Paper |
Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory
(available as arXiv preprint) | 2022-01-01 | Paper |
| Modal Fracture of Higher Groups | 2021-06-29 | Paper |
| Cartesian Factorization Systems and Grothendieck Fibrations | 2020-06-24 | Paper |
| Dirichlet Functors are Contravariant Polynomial Functors | 2020-04-08 | Paper |
| Dirichlet Polynomials form a Topos | 2020-03-10 | Paper |
| A Yoneda-Style Embedding for Virtual Equipments | 2020-03-02 | Paper |
A Yoneda-Style Embedding for Virtual Equipments
(available as arXiv preprint) | 2020-01-01 | Paper |
Dirichlet Functors are Contravariant Polynomial Functors
(available as arXiv preprint) | 2020-01-01 | Paper |
Cartesian Factorization Systems and Grothendieck Fibrations
(available as arXiv preprint) | 2020-01-01 | Paper |
| Behavioral Mereology (Proofs and Properties) | 2018-11-01 | Paper |
| String Diagrams For Double Categories and Equipments | 2016-12-08 | Paper |
String Diagrams For Double Categories and Equipments
(available as arXiv preprint) | 2016-01-01 | Paper |
