Michael Lambert
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Representing Knowledge and Querying Data using Double-Functorial Semantics (available as arXiv preprint) | N/A | Paper |
| Cartesian double theories: a double-categorical framework for categorical doctrines Advances in Mathematics | 2024-04-24 | Paper |
| Double categories of relations (available as arXiv preprint) | 2022-11-17 | Paper |
| Double categories of relations | 2022-11-17 | Paper |
| A Topos View of Blockchain Consensus Protocols | 2021-11-14 | Paper |
| Double Categories of Relations (available as arXiv preprint) | 2021-07-15 | Paper |
| Discrete double fibrations (available as arXiv preprint) | 2021-06-21 | Paper |
| Discrete double fibrations | 2021-06-21 | Paper |
| Discrete 2-Fibrations | 2020-01-30 | Paper |
| A 2-Site for Continuous 2-Group Actions | 2019-11-12 | Paper |
| Computing Weighted Colimits | 2017-11-15 | Paper |
| Representation Embeddings of Cartesian Theories | 2016-12-07 | Paper |
Research outcomes over time
This page was built for person: Michael Lambert
