On Categorical Theory-Building: Beyond the Formal

TL;DR

This paper introduces a novel approach to theory-building inspired by Category theory, aiming to extend traditional formal methods in scientific and mathematical contexts.

Contribution

It proposes a new notion of theory grounded in Category theory, expanding the conceptual framework for formal theory development.

Findings

Introduces a categorical framework for theory-building

Demonstrates potential applications in formal sciences

Suggests broader implications for scientific methodology

Abstract

I propose a notion of theory motivated by Category theory.