PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
April 30, 20260 citationsOpen Access

Non-Idempotent Oplax Endofunctors and Factorization Instability in Higher Category Theory

View Full Paper
YHYugo Hidaka

Key Points

  • The aim is to examine non-idempotent oplax endofunctors and their implications in higher category theory.
  • Introduced non-idempotent oplax endofunctors on bicategories with non-invertible 2-cells.
  • Analyzed behaviors of these structures under iteration and multiplication.
  • Utilized free rewriting 2-categories to provide concrete examples.
  • Demonstrated that endofunctors are invisible under 1-categorical truncation.
  • Confirmed these structures cannot be modeled in $(,1)$-categorical semantics.
  • Exhibited a systematic failure of factorization stability.

Abstract

We introduce a class of non-idempotent oplax endofunctors on bicategories equipped with non-invertible 2-cells. Unlike classical modalities in higher topos theory and homotopy type theory, these structures do not stabilize under iteration and do not admit coherent multiplication. We show that such endofunctors are invisible under 1-categorical truncation, cannot be modeled in (, 1) -categorical semantics, and exhibit a systematic failure of factorization stability. A concrete realization is given via free rewriting 2-categories, providing a canonical example of a non-stabilizing higher-categorical construction.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Yugo Hidaka (2026) studied this question.

synapsesocial.com/papers/69f2a4f18c0f03fd677641a7https://doi.org/10.5281/zenodo.19866730
Ask AI
Helpful
Bookmark
Share
View Full Paper

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Non-Idempotent Oplax Endofunctors and Factorization Instability in Higher Category Theory2026
  2. 2Instability of Coherence and the Non-Idempotent Structure of Oplax Composition2026
  3. 3Dialectics as Higher Identity Dynamics A Formal Speculative Structural Theory in Homotopy Type Theory and ∞-Categories2026
  4. 4Dialectics as Higher Homotopy Rewriting Theory in (∞,2)-Categories2026
  5. 5A Bicategorical Theory of Non-Idempotent Negation2026