Category Theory, a Cartesian Flavor

By

Descartes

Rene Descartes (Wikipedia)

Rene Descartes (n-Lab)

Analytic Geometry (Wikipedia)

Cartesian Geometry (Galileo Unbound)

Cartesian Logic (n-Lab) 


Category Theory

Category Theory (Wikipedia)

Category Theory (Tom Leinster, n-Category Cafe)

Category Theory (Stanford)

Category Theory (Ryan Brewer)

A Primer for Category Theory (Leonardo, Medium)

Basic Concepts of Category Theory (Emily Riehl, John Hopkins)


Descartes and Category Theory

Google AI on Descartes and Category Theory


On the Cartesian Coordinate System

In History: The Grid (Jon Robinson, Medium)

The Cartesian Grid (Guggenheim)

The Cartesian Coordinate System (Stephan's History of the World, YouTube)

Coordinate Graph (The Think Academy)

Cartesian Coordinate System (Wikipedia)

Coordinate System (Wikipedia)


Graph Theory

Cartesian Graph (What makes it tick?, YouTube)

Graph Theory (Bondy and Murty)

Analytic Geometry ~ Coordinate Geometry (BYJU's)

How Does Category Theory Use Graph Theory? (Mathoverflow)?


Diagram, Directed Graph, ...

Diagram (Wikipedia)

Diagram (n-Lab)

Diagram in Category Theory (Wikipedia)

Directed Graph (Math Insight)

Directed Graph (Wikipedia)

Directed Graph (Geeks for Geeks)

Directed Graph (Princeton)

Directed Graph (Whitman College)

Directed Graph (MIT)

Digraph Math (Wrath of Math,YouTube)

Diagrams in Category Theory (Good Math/Bad Math)

Categories of Diagrams (Evan Patterson)

Category Theory Using String Diagrams (Daniel Marsden, arxiv)


Diagrammatic Logic

Category Theory and Diagrammatic Reasoning (Hadzihasanovic)

-- Hadzihasanovic --

Diagraphs in Set Theory (Loring, New Mexico)

A Diagram Is a Functor (math3ma)


On the Way to Categorization

A Workflow for Categorization (Science Direct)

Categorical Logic (Paiva and Rodin, GitHub)

Categorical Logic (Schoenbaum, arxiv)

Set (University of Texas at San Antonio)

Set Theory (Wikipedia)

The Set as an Initial Collection (Wikipedia)

Cartesian Set Theory (UCL)

Cartesian Set Theory (Runestone Academy)

Sets in Category Theory (Abuse of Notation, GitHub)

Set Theory in Category Theory? (Mathoverflow)

The Set Theoretic in Category Theory (n-Category Cafe)

General Theory of Natural Equivalences (Mac Lane and Ellenberg, AMS)

Grothendieck and Descartes (Science Focus)

Cartesian Product / Union of Sets (ProofWiki)

Cartesian Non-Commutativity (Kisil, arxiv)

Non-Commutativity of Cartesian Products in General (Quora)

Cartesian Product (Richard Southwell, YouTube)

Categorical Product (Wikipedia)

Union in Category Theory (n-Lab)


Function

Function (Wikipedia)

Function for Descartes (Imperi and Rogora, arxiv)

Cartesian Product (n-Lab)

Category Theory: Products, Co-Products, Free Objects (Night Shift in Math)

Functor in Category Theory (Wikipeida)

Product Functor (Math Stack Exchange

Cartesian Mappings (Barr and Wells)

Cartesian Diagrams and Canonical Isomorphism (Math Stack Exchange)


Lawvere

Lawvere on Descartes (Lawvere)

Constructive Axiomatic Method (Rodin)

Google AI on Descartes, Category Theory, Lawvere, and Curry-Howard

On a Categorical Extension of the Curry-Howard Isomorphism (McDonald, Calgary)

Curry-Howard-Lawvere/Lambek Correspondence (Cambridge)

Cartesian Closed Categories and the Lambda Calculus (Huet)

Enriched Lawvere Theories (Stay, n-Category Cafe)

Categorical Definition (Richard Southwell, YouTube)


Joyal

Cartesian Squares (Joyal's CatLab)

Topo-logie (Anel, Joyal)


Cartesian Categories in Category Theory

Locally Cartesian Close Category (n-Lab)

Cartesian Categories (Noson S. Yanofsky, YouTube)

Cartesian Closed Category (Wikipedia)

Cartesian Closed Category (Mathoverflow)

Cartesian Closed Category (n-Lab)

Diagonal Arguments and Cartesian Close Categories (Lawvere)

Cartesian Fermat Categories (Topos Institute, YouTube)

Comments

Post a Comment

Popular posts from this blog

A Heidegger - Bayes Hybrid Model

By
Image
A Conjecture for a Hybrid Model Bayesian epistemology concerns modelling and specifically, belief, but a Bayesian belief does not need to be fully formed to emerge alongside the Heideggerian to-hand. The Heideggerian to-hand thereby becomes the interaction that generates this further, which is, with this interaction, a certain realization of being in the world. Bayesian selection now concerns available beliefs as well as any to-hand [belief(s)]. How Heidegger Can Make You a Better Guitarist Bayesian Philosophy Bayesian Philosophy Bayesian Epistemology Bayesian Epistemology Bayesian Modelling Bayesian Modelling Bayesian Model Selection David Deutsch on Bayesian Epistemology Bayesian Philosophy of Science Bayesian Philosophy of Science A Bayesian Approach to the Philosophy of Science On Sean Carroll on an Application of Bayes The Heideggerian To-Hand On Heidegger On Heidegger Flipping Descartes Ready-to-Hand and Present-at-Hand Presence-at-Hand Ready-to-Hand and Unready-to-Hand Does Hei...
Read more

What Counts

By
Image
On Number Sense Numerosity Number Sense Counting Number Sense Number Number Sense and Counting Origin(s) of Number On Counting and Language Count Number on the Way to Language Numerical Thought With and Without Words A History of Counting On Communicating Communicating Number History of Writing Number Words Languages without Words for Number A Partial History of Counting Counting? Writing and Numbers Numbers and Language On Number Systems Number System Number Systems History of Numeral Systems Construction of the Natural Numbers Construction of Number Systems A Partial History of Numbers On Number Theory Number Theory Peano Axioms Peano On Difference Countable-Uncountable as a Problem On the History of Mathematics with Keith Devlin 1. Development 2. Golden Ratio 3. Algebra 4. ? .... ? 5. Ability On Non-Human Number Sense Animal Math Number Sense in Animals Counting Bee Animal Intelligence Yes, Animals Count Relationship Questions Is Counting Prior to Number? Is There Number without Lan...
Read more

Computing and the Linguistic Turn

By
Image
Enigma (Wikipedia) Symbolic analysis and statistical analysis were both approaches codebreakers took in breaking Enigma. The development of AI has also incorporated both approaches. One historical question for AI is why the dominance of Symbolic AI from 1950 to 1990? Note the development of AI out of the Dartmouth Workshop and especially the contributions of one of its attendees,  Ray Solomonoff , to the statistical approach, an approach taken up by Marcus Hutter , a DeepMind  researcher. Note too that along with the difference between the symbolic and the statistical is the difference between language learning and computer vision. The turn Richard Sutton takes is to push learning outside the context of language, which is to push computing beyond its linguistic turn. ~ * ~ The Bitter Lesson First Richard Sutton Richard Sutton Site On Learning as Other than a Mimicry of Language A Basis for Adjustment The Bitter Lesson ~ * ~ Tommy Flowers Tommy Flowers (Wikipedia) Tommy Flowe...
Read more