Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: theory: applied category theory

Topic: Cats applied to political science


view this post on Zulip Keith Elliott Peterson (May 02 2023 at 03:46):

Are there any resources that anyone knows of to do political science using the tools of category theory?

Being able to put one's political beliefs into a coherent whole sounds, well, really useful.

Or is the field so new it's practically empty?

view this post on Zulip Steve Huntsman (May 02 2023 at 12:14):

Keith Elliott Peterson said:

Are there any resources that anyone knows of to do political science using the tools of category theory?

Being able to put one's political beliefs into a coherent whole sounds, well, really useful.

Or is the field so new it's practically empty?

Adjacent to polisci:

https://arxiv.org/abs/2005.12798

We introduce a novel class of Laplacians and diffusion dynamics on discourse sheaves as a model for network dynamics, with application to opinion dynamics on social networks. These sheaves are algebraic data structures tethered to a network (or more general space) that can represent various modes of communication, including selective opinion modulation and lying. After introducing the sheaf model, we develop a sheaf Laplacian in this context and show how to evolve both opinions and communications with diffusion dynamics over the network. Issues of controllability, reachability, bounded confidence, and harmonic extension are addressed using this framework.

On another adjacent note, I have been mulling the idea of using sheaf-theoretical constructs + LLMs to model the consistency of various networked statements/webpages/etc. The idea is to prompt a LLM to rate this, knowing it will be unreliable, but leveraging a degree of stochasticity and repetition as mitigators. Capturing and/or forming hyperlinks, we can then talk about local sections and do sheafy things (perhaps not cohomology per se) to, e.g., identify disinformation at scale.

view this post on Zulip John Baez (May 02 2023 at 15:36):

I haven't seen anything about category theory in political science... just economics and game theory.

view this post on Zulip Alex Gryzlov (May 02 2023 at 23:05):

Abramsky's "Arrow's Theorem by Arrow Theory" might be relevant.

view this post on Zulip Jules Hedges (May 03 2023 at 11:42):

To the extent that homological data analysis counts, it's conceivable somebody have done statistical work in polsci using those tools

view this post on Zulip Jules Hedges (May 03 2023 at 11:43):

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0283361 is open games attempting to get a foot across the boundary from econ to polsci

view this post on Zulip Jules Hedges (May 03 2023 at 11:46):

Aurora Apolito writes about "cybernetic communism" in a way that doesn't use or mention categories, but I'm fairly sure there's a lot secretly hiding in the back (I happen to know that she knows a bunch of category theory and just doesn't mention it, probably because of the target audience)

view this post on Zulip John Baez (May 03 2023 at 15:03):

At the very least, Aurora Apolito sounds like the person to ask this question!

https://c4ss.org/content/54261

I hadn't known her, or that this is a pen name.

view this post on Zulip Matteo Capucci (he/him) (May 04 2023 at 18:59):

The STP group, doing work in political philosophy, does take inspiration from category theory