Notes on Categories with Families
Published:
Expository Papers And Notes
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.
On Mathematical Understanding
Incomplete as they stand (April, 2018)
A review of existing philosophical theories on mathematical understanding
Principal Bundles
Incomplete as they stand (April, 2018)
A review of theory of principal bundles and higher principal bundles
Principal Bundles
Incomplete as they stand (April, 2018)
A review of theory of principal bundles and higher principal bundles
Three Sites Of Relative Schemes
Incomplete as they stand (April, 2018)
Warning: in construction! We introduce three Grothendieck topologies on the category of based schemes; the Zariski, the étale and the fpqc topology
Embeddings in Topos Theory and HoTT
Incomplete as they stand (February, 2018)
To be wirtten soon!
Model Category For Groupoids
Incomplete as they stand (May, 2017)
To be completed!
On 2-Category Of Toposes
Incomplete as they stand (May, 2017)
Research notes: Incomplete
Seminars and Reading Groups
Topology Seminar at Johns Hopkins (2021-2022)
With Maru Sarazola and Tim Campion we are organizing Topology Seminar at Johns Hopkins
Reading Group on Arithmetic Universes (2018-2019)
With Alexander Oldenziel, Joost van Dijk and a few others we have an informal weekly reading sessions on Arithmetic Universes and Goedel's incompleteness theorem in Utrecht and Amsterdam.
CARGO (2016-2019)
I am one of the organizers of category theory reading group (CARGO). The meetings takes place at the school of computer science on a weekly basis. The participants are mostly PhD students and research fellows in theoretical computer science. Read more about it here .