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

Composable Future: Toward an Algebraic Theory of Paradigmatic Transitions

View Full Paper
ISI Made Agus Kresna SucandraUdayana University

Key Points

  • This paper aims to develop a formal structure for understanding how different futures can be composed algebraically.
  • Defined futures as algebraic 4-tuples consisting of states and morphisms.
  • Introduced four primitive operators for manipulating these futures.
  • Analyzed algebraic laws such as identity, closure, and associativity in this context.
  • Connected the structure to concepts from applied category theory and temporal logic.
  • Established foundational properties, including closure and the conditions for associativity.
  • Demonstrated the framework can form a Kleisli category under probabilistic conditions.
  • Identified five significant open problems for further exploration.

Abstract

We introduce Composable Future, a formal structure in which paradigmatic futures are treated as algebraic objects admitting composition. A future F is defined as a 4-tuple (S0, τ, S1, Φ) where S0 and S1 are paradigmatic states, τ : S0 → S1 is atrajectory morphism, and Φ: S1 → P(F) is a typed affordance set. We define four primitive operators—sequential bind (≫=), parallel tensor (⊗), fork (|), and merge (⊕)—and investigate the algebraic laws they satisfy. Identity and closure hold ingeneral; associativity of ≫= holds when τ is stateless and reduces to a fibered structure when τ is path-dependent. Under probabilistic extension the structure forms a Kleisli category over the probability monad. We identify five open problems and position the framework relative to applied category theory, process algebra, branching-time temporal logic, and affordance theory.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

I Made Agus Kresna Sucandra (2026) studied this question.

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