Computer-supported Exploration of a Categorical Axiomatization of Modeloids
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.
PDF AbstractCategories
Logic in Computer Science
Algebraic Topology
Category Theory
68T15, 03B35, 03B80, 03B15, 08A05, 03C10, 03C68, 03C75, 20B05, 54H20
F.4; I.2.3
Datasets
Add Datasets
introduced or used in this paper
