2 citations · 3 across the 8 of their papers we have counts for
9 papers
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
Michael J. Lambert
The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional m…
Double Fibrations
Geoffrey Cruttwell, Michael Lambert, Dorette Pronk +1
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to exis…
A Topos View of Blockchain Consensus Protocols
Michael Lambert
This paper presents a reformulation in topos logic of a safety result arising in an abstract presentation of blockchain consensus protocols. That is, in a high-level template for "…
Double Categories of Relations
Michael Lambert
A double category of relations is essentially a cartesian equipment with strong, discrete and functorial tabulators and for which certain local products satisfy a Frobenius Law. A…
Discrete Double Fibrations
Michael Lambert
Presheaves on a small category are well-known to correspond via a category of elements construction to ordinary discrete fibrations over that same small category. Work of R. Paré p…
Discrete 2-Fibrations
Michael Lambert
This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fib…
A 2-Site for Continuous 2-Group Actions
Michael Lambert
Elmendorf's Theorem states that the category of continuous actions of a topological group is a Grothendieck topos in the sense that it is equivalent to a category of sheaves on a s…
Computing Weighted Colimits
Michael Lambert
A well-known result of SGA4 shows how to compute the pseudo-colimit of a category-valued pseudo-functor on a 1-category. The main result of this paper gives a generalization of thi…
Representation Embeddings of Cartesian Theories
Michael Lambert
A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and…