The Roots of Intuitionistic and Constructive Mathematics
Published:
Scribbling
CARGO Archive
Here is a list of topics considered to be discussed in Autumn 2017 in Category Reading Group seminars as well as informal archive for suggested topics since Summer 2015 :
Notes
Notes on Categories with Families
Published:
Notes on Locally Cartesian Closed Categories
Published:
Are monoidal fibrations instances of 2-fibrations?
Published:
Notes on framed bicategories based on a Cargo Talk
Notes on monoidal monad
Published:
Notes from my Lab Lunch talk on February 13, 2018
Surjection of locales are not surjective on points
Published:
Extended notes based on Steve Vickers’s expository talk in CARGO
Some remarks on n-fibraitons
Published:
Some notes on generalization of Grothendieck fibrations to n-categories
Bicategories with base change
Published:
Notes on framed bicategories based on a Cargo Talk
What are derived stacks?
Published:
Some notes on my undertanding of derived algebraic geometry
On a paper of Street
Published:
Notes on Street’s paper
A topos without points
Published:
An example of a topos (from logic) that does not have any points.
Classifying topos of topological categories
Published:
Notes for my CARGO talks.
On Lawvere-Tierney topology
Published:
Some remarks and supplementary notes on my CARGO talk
Lifting of monads to Grothendieck toposes
Published:
Notes for my CARGO talk.
Relative pseudo-monads
Published:
Notes from a talk given by Nicola Gambino in theory seminar
A learning wishlist
Published:
A list of tricks/theorems/constructions/concepts/theories I wished to know but never had time/opportunity to learn them!
First introduction to simplicial sets
Published:
Notes for my CARGO talk.