Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Recurso digital |
| Idioma: | inglés |
| Publicado: |
Zenodo
2026
|
| Subjects: | |
| Acceso en liña: | https://doi.org/10.5281/zenodo.19698717 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Table of Contents:
- <p>This work investigates how classical logic emerges from higher-categorical structures via truncation. We show that certain higher-order structures cannot be faithfully represented in classical categorical settings.<br>We introduce a notion of stratified negation in weak 2-categories and prove that it cannot be preserved under strict or pseudo embeddings into locally discrete categories.<br>An example from homotopy theory illustrates the collapse of higher structure under truncation.</p>