Zobrazeno 1 - 10
of 1 415
pro vyhledávání: '"Lambert Michael"'
Autor:
Attebury Garhan, Babik Marian, Carder Dale, Chown Tim, Hanushevsky Andrew, Hoeft Bruno, Lake Andrew, Lambert Michael, Letts James, McKee Shawn, Newell Karl, Sullivan Tristan
Publikováno v:
EPJ Web of Conferences, Vol 295, p 01036 (2024)
The High-Energy Physics (HEP) and Worldwide LHC Computing Grid (WLCG) communities have faced significant challenges in understanding their global network flows across the world’s research and education (R&E) networks. This article describes the sta
Externí odkaz:
https://doaj.org/article/47892fb7f1c74c1c943a20c31f1bf137
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.
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