4 papers
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller +1
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic…
Interpreting Lambda Calculus in Domain-Valued Random Variables
Robert Furber, Radu Mardare, Prakash Panangaden +1
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction r…
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller +1
A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the…
Axiomatizing Category Theory in Free Logic
Christoph Benzmüller, Dana S. Scott
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory.…