đž Archived View for flexibeast.space âş maths.gmi captured on 2024-08-18 at 17:48:13. Gemini links have been rewritten to link to archived content
âŹ ď¸ Previous capture (2024-08-18)
-=-=-=-=-=-=-
âAm I a constructive mathematician?â, by Andrej Bauer
âFive stages of accepting constructive mathematicsâ, by Andrej Bauer
ârelation between type theory and category theoryâ, on the nLab
âThe Explanatory Value of Category Theoryâ, by Ellen Lehet
âWhat is applied category theory?â, by Tai-Danae Bradley
Arrow's impossibility theorem ... states that when voters have three or more distinct alternatives (options), no ranked voting electoral system can convert the ranked preferences of individuals into a community-wide (complete and transitive) ranking while also meeting the specified set of criteria: unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives.
â Wikipedia: âArrow's Impossibility Theoremâ
Gibbard's theorem ... states that for any deterministic process of collective decision, at least one of the following three properties must hold:
1. The process is dictatorial, i.e. there exists a distinguished agent who can impose the outcome;
2. The process limits the possible outcomes to two options only;
3. The process is open to strategic voting: once an agent has identified their preferences, it is possible that they have no action at their disposal that best defends these preferences irrespective of the other agents' actions.
â Wikipedia: âGibbard's theoremâ
Sen's paradox ... shows that no means of aggregating individual preferences into a single, social choice, can simultaneously fulfill the following, seemingly mild conditions:
1. The unrestrictedness condition, or U: every possible ranking of each individual's preferences and all outcomes of every possible voting rule will be considered equally,
2. The Pareto condition, or P: if everybody individually likes some choice better at the same time, the society in its voting rule as a whole likes it better as well, and
3. Liberalism, or L (from which the theorem derives its gist): all individuals in a society must have at least one possibility of choosing differently, so that the social choice under a given voting rule changes as well. That is, as an individual liberal, anyone can exert their freedom of choice at least in some decision with tangible results.
â Wikipedia: âSen's paradoxâ
[A]ggregating judgments with majority voting can result in self-contradictory judgments ... Philosopher Philip Pettit believes the discursive dilemma makes it impossible to make simple statements about the beliefs of a collective.
Wikipedia: âDiscursive dilemmaâ
Work relevant, or potentially relevant, to using category theory in ecology:
âThe ecosystem as an algebraic categoryâ, by B.S. Niven (1988) [PDF]
âSymmetric Monoidal Categories: A Rosetta Stoneâ, by John Baez (2021?) [PDF of slides]
âCategorical Systems Theoryâ, by David Jaz Myers [PDF]
âAn Abstract Category of Dynamical Systemsâ, by James Schmidt (2024) [abstract + link to PDF]
âAxiomatic phylogeneticsâ, by Vladimir Turaev (2024) [abstract + link to PDF]
â