Category Theory

By





The Clowder Project

The Clowder Project

The Clowder Project (Discord)


Category Theory

n-lab

Tutorial (Classical)

Tutorial (Applied)


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)


Courses

Richard Borcherds

Olivia Caramello

Zurab Janelidze

Colin McLarty

Daniel Tubbenhauer

Category Theory: A Concise Course


YouTube

New York City Category Theory


Some Topics

Applied Category Theory

Applied Category Theory

Categorical Systems Theory

Linguistics

Theory of Species

Topos

Topos

Yoneda


Institutes

Topos Institute

Grothendieck Institute


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

Math Self-Study

By
Image
Overview Overview Understanding Math (GitHub) Awesome Math (GitHub) Learning How to Read a Math Article Mathematical Discovery OSSU Curriculum (GitHub) Guide to Math and Physics Self-Learning (Futurism) Visual Math (YouTube) , Visual Math (Slides per Topic) Michael Taylor   Starter YouTube Videos Basic Notions YouTube Videos (ICTP) Math Maps A Map of Math (YouTube) A Map of Math (Quanta Magazine) Resources Abakcus American Mathematical Society (AMS) Cambridge Digital Library of Mathematical Functions Harold's Tutoring Institute for Advanced Studies Logic Matters Math Book Reviews Math Conferences (Math Meetings) Math Conferences (Hiro Lee Tanka) Mathematics Textbooks for Self-Study Milne Open Textbooks MIT Mathematics MIT Online OER Commons Open Culture: How to Learn for Free Open Culture Courses Open Culture Textbooks Open Library OpenStax Open Textbook Library Project Euclid Stitz Zeager Open Source Mathematics (Pre-Calculus) UCLA University of Texas Yale Reading Lists American I...
Read more

What Counts

By
Image
Overview Counting Number Origin(s) of Number Communicating Number (Penn State) History of Writing A Partial History of Counting Counting? Writing and Numbers History of Numeral Systems Construction of the Natural Numbers (MIT) Construction of Number Systems A Partial History of Numbers Number Theory Peano Axioms Peano Difference (Philosophy) Development Counting Bee Numbers and Language Timeline  Evolution Overview Timeline The Big Bang: ~13.8 Billion Years Ago The Earth: ~4.5 Billion Years Ago Human Beings: ~3 Million to ~1.9 Million Years Ago Modern Human Beings: ~200,000 Years Ago Human Language; ~150,000 Years Ago Evidence of Counting: ~46,000 to ~10,000 Years Ago The Anthropocene: ~8,000 Years Ago Evidence of Human Language: ~6,000 Years Ago Evidence of Writing (i.e., not Proto-Writing): ~5,200 Years Ago Questions Is Counting Prior to Number? Is There Number without Language? Is Counting Prior to Language?   Are Words Required for Numbers? Does Language Give Sense to Numb...
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 employee. Overview History of Computing (Medium, Mazhar Hassan ) Historical Development of Computing Devices (CSULB) Analytic Philosophy ~ The Linguistic Turn (Oxford, Timothy Williamson) AI History (Weighty Thoughts) Symbolic AI (Deep Code AI, Frank Fisher) Symbolic AI History (Wikipeida)  Symbolic AI and Statistical AI (ANU,  Yoshihiro Maruyama) Linguistics Linguistics (Wikipedia) Philosophy of Linguistics (Stanford)   Linguistic Turn Linguistic Turn (Wikipedia) Linguistic Turn (Routledge) ...
Read more