2000 character limit reached
Computer-supported Exploration of a Categorical Axiomatization of Modeloids (1910.12863v2)
Published 27 Oct 2019 in cs.LO, math.AT, and math.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.