Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17808601 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>Blank is often heard as a metaphor for "nothing"; in this note we argue that it can be treated as a precise structural object, on the same footing as the symbol 0 in ordinary mathematics. Starting from the observation that 0 is a dormant but fully specified carrier of potential-a kernel, a base point, a typed empty list-we push this role up one meta-level and formalize Blank as a zero-information pre-object. On the categorical side we introduce a simple "Blank-extended" skeleton consisting of a distinguished object $I$, a Blank object $\square$, and a one-way transfer arrow $\tau: \square \rightarrow I$ that encodes the irreversible act of choosing a first model. This makes explicit where the cost of "having a category at all" is paid, and how it relates to the blur paradigm in which we track information loss inside a fixed theory. The picture we propose is deliberately minimal: Blank is optional, but once adjoined it cleanly separates three layers-no model, bare skeleton, and blurred concrete theory-and turns the informal talk of "starting from nothing" into a small, categorical piece of data.</p>