**1. Introduction**

The impetus towards abstraction is often triggered by the feeling that we do, again and again, the "same thing"—that there are structural similarities between concepts and problems in various areas and on different conceptual levels. We experience facing "similar patterns" when formalizing and reasoning about certain kinds of concepts and problems.

Once we obtain the strong impression that concepts, constructions, proofs and results in various areas and on different conceptual levels are somehow related, we may feel the urge to find out what the commonalities really are and to formalize them in an adequate mathematical language. Naturally, such a formalization will be a pretty abstract one if it should cover a broader range of areas.

In light of these remarks, the paper presents the first stage of expansion of a conceptual framework intended to provide a unified view to a broad range of concepts, constructions and problems we dealt with in our long-standing research in various areas and on different conceptual levels in formal specification. The framework should enable us to describe a

**Citation:** Wolter, U. Logics of Statements in Context-Category Independent Basics. *Mathematics* **2022**, *10*, 1085. https://doi.org/ 10.3390/math10071085

Academic Editor: R˘azvan Diaconescu

Received: 1 February 2022 Accepted: 18 March 2022 Published: 28 March 2022

**Publisher's Note:** MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Copyright:** © 2022 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https:// creativecommons.org/licenses/by/ 4.0/).

wide range of specification formalisms (modelling techniques) in a uniform way and thus to relate them. Since category theory is the mathematical language of choice to describe and study relations between structures and constructions, we utilize categorical concepts to describe our framework.
