A Category of the Political \Large{Part I - Homónoia}

Joseph Abdou

Home/Archive/arXiv

arXiv · 2511.21623

A Category of the Political \Large{Part I - Homónoia}

Joseph Abdou

View original source ↗Read source document ↗Export metadata ↓

Abstract

This research aims at providing a mathematical model of the organization of the polity and its transformation. For that purpose we construct two categories named respectively Political Configuration and Political Foundation. Our construction depends on a couple of variables called the foundational pair. One variable, called the Base, consists of a finite number of members (agents), while the other, called the Ground, consists of a set of states that reflect all relevant interests/values/aspirations of the base members. An object of the Configuration, called p-formation, extends the notion of simplicial complex, and a morphism, which expresses the recomposition of the base, extends the notion of simplicial map. An object of the Foundation, called p-site, describes the profile of the polity, that is, how the states of the ground are intertwined between the agents. A morphism between political sites consists of a pair of maps, namely a Base map and a Ground map, satisfying appropriate conditions. Two functors relate the Foundation and the Configuration: the Knit which attributes to each p-site a p-formation and the Nerve which attributes to each p-site a simplicial complex. In the opposite direction a functor, called Canon, which attributes to any p-formation its canonical p-site, turns out to be in an appropriate sense the inverse of the Knit and the Nerve.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Joseph Abdou. 2025-11-26. A Category of the Political \Large{Part I - Homónoia}. https://arxiv.org/abs/2511.21623

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗

arXiv2026

Conservative functors to pointed categories

Many results in categorical algebra rely fundamentally on pointedness, yet numerous categories of mathematical interest are not pointed. Building on ideas from the theory of ideally exact categories, recently introduced by G. Janelidze, we investigate the extent to which constructions and results from pointed contexts can be extended to categories admitting suitable forgetful functors to pointed categories. We introduce the notion of a propointed category, described as a category admitting a conservative right-adjoint functor to a pointed lex category, and give an intrinsic characterisation of this notion. We then investigate and characterise the cases in which the target of the given functor is pointed protomodular, homological, or normal, and establish within these settings generalisations of classical results - including the short five lemma, the nine lemma, and Noether's isomorphism theorems - as well as a well-behaved notion of ideal of an object. We also prove that the 2-category of pointed lex categories is 2-reflective in the 2-category of lex categories with an initial object, the reflection being given by the slice over the initial object, which thus provides a universal 'pointification'.

math.CT↗

arXiv2026

A Categorical Generalization of Counterpoint

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to an arbitrary topos other than $\mathbf{Set}$. This generalization suggests that counterpoint's essential structure depends on specific categorical conditions rather than classical set-theoretic reasoning. A key contribution is identifying sufficient requirements for a well-behaved counterpoint theory in a topos: some version of Zorn's Lemma (GJZL), and two-valuedness and split supports (NS). Within a topos, we introduce (weak) quasidichotomies alongside the classical notion of dichotomy. These structures capture varying degrees of oppositional structure between consonance and dissonance, with weak quasidichotomies preserving the non-Boolean flexibility essential to musical practice while quasidichotomies represent maximal opposition short of complete partition. We prove a generalized counterpoint theorem giving sufficient conditions for the existence of admitted successors. When the ambient topos turns non-zero successor objects into points, admitted succession can be iterated to form counterpoint paths, which may terminate at consonances with no admitted successor. The framework naturally accommodates counterpoint with sets instead of pure pitches, relaxing the ``yes/no'' character of classical consonance definitions and emphasizing context-dependence. Mazzola's model allows a Kuratowski closure operator induced by a polarity, which defines an internal topology enabling algebraic-topological analysis of counterpoint structure. We conclude by showing this construction generalizes to involutive morphisms. This categorical approach provides foundations for understanding both the historical evolution of contrapuntal practice and cross-cultural divergences in interval organization.

math.CT↗