Yugo Hidaka

Non-Reducibility of a 2-Categorical Negation to Elementary Topos Semantics

2026 · Zenodo (CERN European Organization for Nuclear Research)

This paper introduces a minimal strict 2-categorical structure intended to formalize a notion of "dialectical negation" as a structural transformation rather than a truth-functional operation. We define a class of 2-categories equipped with non-invertible 2-cells …