MATHEMATICAL TRIPS: Category Theory Foundations (Oregon Programming Languages Summer School 2012)

Sunday, May 9, 2021

Category Theory Foundations (Oregon Programming Languages Summer School 2012)

Posted by Mihai Caragiu

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

Labels: category theory, computer science, logic

'Although the prime numbers are rigidly determined, they somehow feel like experimental data' ~ Timothy Gowers. Mathematics: A Very Short Introduction (Oxford Univ. Press, 2002)

Blog Archive

► 2024 (18)
- ► December (2)
- ► October (2)
- ► September (3)
- ► August (1)
- ► July (1)
- ► June (2)
- ► March (1)
- ► February (2)
- ► January (4)

► 2023 (11)
- ► December (1)
- ► November (2)
- ► October (1)
- ► July (1)
- ► May (4)
- ► March (1)
- ► February (1)

► 2022 (20)
- ► December (2)
- ► November (2)
- ► June (2)
- ► May (3)
- ► April (1)
- ► March (3)
- ► February (5)
- ► January (2)

▼ 2021 (38)
- ► December (2)
- ► November (1)
- ► October (1)
- ► September (1)
- ► August (3)
- ► July (3)
- ▼ May (5)
- ► April (1)
- ► March (21)

► 2016 (1)
- ► January (1)

► 2015 (10)
- ► December (2)
- ► November (2)
- ► October (1)
- ► September (1)
- ► July (1)
- ► March (2)
- ► February (1)

► 2014 (11)
- ► November (2)
- ► September (1)
- ► August (1)
- ► June (1)
- ► May (1)
- ► April (1)
- ► March (3)
- ► February (1)

► 2013 (9)
- ► December (1)
- ► September (1)
- ► August (1)
- ► July (2)
- ► May (1)
- ► April (1)
- ► February (1)
- ► January (1)

► 2012 (5)
- ► December (1)
- ► November (2)
- ► October (2)

► 2011 (7)
- ► December (1)
- ► June (2)
- ► May (1)
- ► March (1)
- ► February (1)
- ► January (1)

► 2010 (18)
- ► November (1)
- ► October (3)
- ► September (1)
- ► August (2)
- ► July (4)
- ► June (1)
- ► May (1)
- ► April (3)
- ► February (2)

► 2009 (3)
- ► November (1)
- ► September (1)
- ► February (1)

My Blog List

What's new

Quaternions and spherical trigonometry
Hidden assumptions

Emergence of gravity
AMS News

McDuff to Receive 2025 AMS Steele Prize for Lifetime Achievement
Peter Cameron's Blog

Problem solving
The n-Category Café

Random Permutations (Part 14)
Tasks – YouCubed

Basketball Data Analytics Unit- In Partnership with Stanford Women’s Basketball
The Mathletics Global Blog

Case Study: How Wallace Fields Junior School Enhances Maths Mastery with Mathletics
Richard E Borcherds

Representations of GL2
Journals – Mathematical Association of America

The American Mathematical Monthly
Gowers's Weblog

Advances in Combinatorics fully launched
Tim Gowers Mathematical Discussions
Theorem of The Day
NCTM
Richard Borcherds

Show 10 Show All

Awesome Inc. theme. Powered by Blogger.