Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Lingua: | |
| Pubblicazione: |
Zenodo
2025
|
| Accesso online: | https://doi.org/10.5281/zenodo.17808601 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- <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>