David Corfield: "Philosophical perspectives on category theory"

Рет қаралды 7,014

Жыл бұрын

Topos Institute Colloquium, 9th of March 2023.
---
For the whole length of my academic career, I have looked to make philosophical sense of (higher) category theory. My earliest interests concerned category theory as a new structuralist foundational language for mathematics and for mathematical physics. Later at the n-Category Café there were also attempts to make category-theoretic sense of probability theory, learning theory and diagrammatic reasoning. Today, alongside successes in logic, mathematics and physics, we find a flourishing world of applied category theory, involving work in probability theory, causal reasoning, learning theory, natural language processing, and so on. These are all topics of profound interest to philosophy. In this talk, I will discuss ways in which philosophy can come into a fruitful relationship with category theory.

Пікірлер: 10

@markusklyver6277 Жыл бұрын

based

@hamandchees3 Жыл бұрын

Great talk

@keithpeterson4005 Жыл бұрын

@42:10 I'm going to need that Mac Lane note on Quine. For reasons... :P

@markusklyver6277 Жыл бұрын

Oh hi

@keithpeterson4005 Жыл бұрын

hi markus

@kmerczerwony1739 2 ай бұрын

It's from "Is Mathias an Ontologist?".

@davidwilkie9551 Жыл бұрын

An obvious place to start is here-now-forever at the Centre of Time Duration Timing Conception, the mathematical, moral, physical substantiation of everything everywhere-when all-ways all-at-once sync-duration holographic existence, in /of which QM-TIME has default self-defining categories best allowed to develop in perceptions from a practical assessment and assembly of memory association images, in perspectives of differentiates in projection-drawing, coordinated coherence-cohesion Actuality. Ie "Define your Terms" in the Classical sense is a reflection of WYSIWYG and your Self in Totality Singularity positioning Self here-now-forever. All categorization has the quality of log-antilog Conformal Field Condensation Correspondence and quantization cause-effect of Real e-Pi interference =Correspondence in Principle, 3D-T GD&P line-of-sight Imagery. All the rest is Commentary, best supplied by Math-Physics revisionist reiteration Observation.

@aaAa-vq1bd Жыл бұрын

Spherical time? Get out of here, Nietzsche.

@alexandersanchez9138 Жыл бұрын

Good one.

@incredulity Жыл бұрын

Crackpot