research
∙
06/15/2023
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
This paper presents meta-logical investigations based on category theory...
share
research
∙
10/27/2019
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
A modeloid, a certain set of partial bijections, emerges from the idea t...
research
∙
09/06/2016