Next Meetup
Continue reading "Sheaves in Geometry and Logic"
We stopped at page 15. Next time we meet, let's get to page 23 (the end of Introduction). To prepare, please try to read up to page 23, and find solutions for the statements that are left without proofs - e.g. diagram (3) and diagram (4) on page 16. Well cover it anyway at our next meeting.
Upcoming Meetups
Past Meetups (44)
- Starting Topos Theory Study
- Vlad P.
- Al
- Ian T.
- Joseph C.
- Mohith M.
- 8 went
- Vlad P.
What we're about
A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming.
Some basic knowledge is desired.
Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacat
