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

MATHEMATICAL TRIPS

Sunday, May 9, 2021

Category Theory Foundations (Oregon Programming Languages Summer School 2012)

Posted by Mihai Caragiu

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

Labels: category theory, computer science, logic

Newer Post Older Post Home

'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 (7)
- ► 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)

Popular Posts

Fibonacci modulo m
Marius Dabija (13 ianuarie 1969-22 iunie 2003)
Bernhard Riemann
covid-19 era whiteboards (10)
covid-19 era whiteboards (11)
More teaching chalkboards
Ph.D. mathematician and NFL champion
covid-19 era whiteboards (8)
The Search for Randomness | Jean Bourgain
Contributed Math/Stat talks/posters at professional meetings - Ohio Northern UPDATED

Awesome Inc. theme. Powered by Blogger.