Category Theory

By


Category Theory (Stanford)

Getting Started with Category Theory (Ryan Brewer)

Category Theory and Condensed (University of Chicago, J.P. May)

Category Theory without the Baggage (LessWrong)

Learning Category Theory (Resources, GitHub)





n-lab

n-lab


The n-Category Cafe

The n-Category Cafe


Math3MA

Math3MA


Institutes

Math3MA

Topos Institute

Grothendieck Institute


Stacks Project

Stacks


The Clowder Project

The Clowder Project

The Clowder Project (Discord)


Journal(s)

Theory and Applications of Categories


Category Theory

n-lab

Tutorial (Classical)

Tutorial (Applied)

How It Works


Category Theory Timeline

n-lab

Colin McLarty

Fernando Zalamea


Category Theory Applied

AI and Applied Category Theory (n-Cafe)

Compositionality

Computer Science (Noson S. Yanofsky)

Robotics

David Spivak




Seminar on Applied Category Theory (University of Kent, 2023)






Roll Call

Saunders Mac Lane

Samuel Eilenberg

Jean-Pierre Serre

Alexander Grothendieck

Jean Leray

Daniel Kan

Pierre Deligne

William Lawvere

Peter Johnstone

Jacob Lurie

Steve Awodey

Emily Riehl


Seminal Texts

Categories for the Working Mathematician

Tôhoku


Introduction to Category Theory

Paul Dancstep (YouTube)

Tom Leinster (arxiv)

Oliver Lugg (YouTube)

Emily Riehl (GitHub)


Texts and Online Resources

An Introduction to the Language of Category Theory

Category Theory Guidebook

Grothendieck (William Stein)

Homotopy Theory

Lawvere Archives

Topos Theory

Category Theory

Reprints

Peter Smith (Category Theory Resources)

Category Theory for Computing Science (Barr and Wells)


Courses

Richard Borcherds

Olivia Caramello

Zurab Janelidze

Colin McLarty

Daniel Tubbenhauer

Category Theory: A Concise Course

Robert Southwell


YouTube

New York City Category Theory


Some Topics

Applied Category Theory

Applied Category Theory

Applications of Category Theory (Reddit)

Categorical Systems Theory

Linguistics

Theory of Species

Topos

Topos

Yoneda


History

Mathematical Structuralism


Conferences (Video)

Grothendieck Conference, Chapman University (2022)

Homage to Grothendieck

Toposes in Mondovi


Programming

Category Theory for Programmers by Bartosz Milewski



Videos






...

Terms of Category Theory

The Clowder Project

...

Adjoint Functors

...

Related Philosophy

Recent Debate over Categorical Foundations by Colin McLarty (Academia)

Peirce

...

Comments

Post a Comment

Popular posts from this blog

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, associated here with the linguistic turn, 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, and of course, others. Note that a history of AI outside the linguistic turn from Moritz Hardt and Ben Recht is in Patterns, Predictions, and Actions . And note too that along with the difference between the symbolic and the statistical is the difference between language learning and computer vision, which tends to be a history outside the linguistic turn. And the turn Richard Sutton takes is to push learning outside the context of language, which ...
Read more

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

A Question Regarding Number as the Assumed Basis of Mathematics

By
Conjecture: The historical analysis of the development of mathematics tends to lean on artifacts such as tally sticks and etch marks. Here, commerce serves as the basis of mathematics, and thereby, mathematics is grounded in the ability to count, which is implicitly understood to be the basis of commerce (fair exchange).  Development of Mathematics Question: What if distance becomes the basis of mathematics? How does this concept ground mathematics? Rather than assert that mathematics starts with counting, we assert instead that mathematics begins with the realization of distance? Do we then realize that number becomes a shorthand for distance in the abstract? Number Number ... Distance
Read more