Abstract Mathematical morphology based on structuring element: Application to morpho-logic Marc Aiguier1 and Isabelle Bloch2 and Ram´on Pino-P´erez3 1. MICS, CentraleSupelec, Universit´eParis Saclay, France
[email protected] 2. LTCI, T´el´ecom Paris, Institut Polytechnique de Paris, France
[email protected] 3. Departemento de Matematicas, Facultad de Ciencias, Universidad de Los Andes, M´erida, Venezuela
[email protected] Abstract A general definition of mathematical morphology has been defined within the algebraic framework of complete lattice theory. In this frame- work, dealing with deterministic and increasing operators, a dilation (re- spectively an erosion) is an operation which is distributive over supremum (respectively infimum). From this simple definition of dilation and ero- sion, we cannot say much about the properties of them. However, when they form an adjunction, many important properties can be derived such as monotonicity, idempotence, and extensivity or anti-extensivity of their composition, preservation of infimum and supremum, etc. Mathemati- cal morphology has been first developed in the setting of sets, and then extended to other algebraic structures such as graphs, hypergraphs or sim- plicial complexes. For all these algebraic structures, erosion and dilation are usually based on structuring elements. The goal is then to match these structuring elements on given objects either to dilate or erode them. One of the advantages of defining erosion and dilation based on structuring ele- arXiv:2005.01715v1 [math.CT] 4 May 2020 ments is that these operations are adjoint. Based on this observation, this paper proposes to define, at the abstract level of category theory, erosion and dilation based on structuring elements.