Computer-supported Exploration of a Categorical Axiomatization of Modeloids

DOI10.1007/978-3-030-43520-2_19MaRDI QIDQ6328040arXivFDO

Authors Lucca Tiemens, Dana Scott, Christoph Benzmüller, Miroslav Benda

Publication date 27 October 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-030-43520-2_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Basic properties of first-order languages and structures (03C07) Model theory (03C99) Foundations, relations to logic and deductive systems (18A15) Inverse semigroups (20M18) Formalization of mathematics in connection with theorem provers (68V20)

arXiv classification

cs.LOmath.ATmath.CT

Abstract: 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 derivative, which is inspired by Ehrenfeucht-Fra"iss'e games. In this paper we develop a generalization of a modeloid first to an inverse semigroup and then to an inverse category using an axiomatic approach to category theory. We then show that this formulation enables a purely algebraic view on Ehrenfeucht-Fra"iss'e games.

This page was built for publication: Computer-supported Exploration of a Categorical Axiomatization of Modeloids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6328040)