Zobrazeno 1 - 10
of 1 414
pro vyhledávání: '"Lambert, Michael"'
Autor:
Lambert, Michael J.
The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional modal logic internally in any elementary topos. This is done by constru
Externí odkaz:
http://arxiv.org/abs/2410.13078
Autor:
Lambert, Michael, Patterson, Evan
Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the 2-category of s
Externí odkaz:
http://arxiv.org/abs/2403.19884
Autor:
Lambert, Michael, Patterson, Evan
Publikováno v:
Advances in Mathematics, Volume 444, May 2024, 109630
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce a new framework for doctrines based on double category theory. A cart
Externí odkaz:
http://arxiv.org/abs/2310.05384
Autor:
Lambert, Michael C.1 michael_lambert@hotmail.com, Ward, Robyn2 r.ward@tcu.edu, Riddle, Dru3 d.riddle@tcu.edu
Publikováno v:
AANA Journal. Oct2024, Vol. 92 Issue 5, p349-355. 7p.
Autor:
Lambert, Michael J, Harswick, Chad A.
Publikováno v:
Western Journal of Emergency Medicine, Vol 7, Iss 1, Pp 8-11 (2006)
A young man presented to the emergency room in extremis and deteriorated into a state of pulseless electrical activity. Bedside echocardiography by emergency medicine physicians was crucial to the clinical decision to implement thrombolytic therapy f
Externí odkaz:
https://doaj.org/article/d228f1bd28e24908ad7619df68138943
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 existing fibrational notions such as monoidal fibrations and discrete doub
Externí odkaz:
http://arxiv.org/abs/2205.15240
Autor:
Lambert, Michael
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 "correct-by-construction" consensus protocols, it is shown that a propo
Externí odkaz:
http://arxiv.org/abs/2111.07461