Michael Lambert

Category Theorist

michael.james.lambert@gmail.com

About Me

I am an associate lecturer in the Mathematics Department at the University of Massachusetts-Boston. Recently I was a Topos Institute Research Associate working under Evan Patterson. Earlier in 2022 I finished a research postdoc in the Department of Mathematics and Computer Science at Mount Allison University under Geoff Cruttwell.

My research is in higher category theory, specifically, double categories and their applications. I am also interested in 2-categories, toposes, and internal logic.

Here is my full CV.

Papers and Preprints

Double Fibrations (with Geoff Cruttwell, Dorette Pronk, and Martin Szyld) Theory and Applications of Categories, 2022.

Double Categories of Relations Theory and Applications of Categories, 2022.

Discrete Double Fibrations Theory and Applications of Categories, 2021.

A Topos View of Blockchain Consensus Protocols, Preprint, 2021. Submitted to Compositionality (2021 arXiv draft)

Discrete 2-Fibrations, Preprint, 2020. Submitted to Higher Structures

Blog Posts

Data Operations are Functorial Semantics, Topos Institute Blog, September 2022

Recent Talks

Double Categories of Relations Virtual Double Categories Workshop, December 2022

Cartesian Equipments as Databases AtCat Seminar, October 2022

Blockchain Safety in a Topos Ottawa Logic Seminar, December 2021

Discrete Double Fibrations CT20->21, September 2021

Characterizing Double Categories of Relations ACT 2021, July 2021

Links

Github

LinkedIn

nLab

AtCat