## Publications

## Talks And Presentations

### Teaching Introduction To Proofs With Lean

Seminar Talk, TU Delft Programming Language Group

### Original Announcement

### A 2-Categorical Proof of Frobenius for Fibrations Defined From a Generic Point

MURI Meeting 2022, Carnegie Mellon University, Pittsburgh, USA

### Kripke Joyal Semantics For Homotopy Type Theory

Association for Symbolic Logic, 2022 Annual Meeting, Cornell University, Ithaca, USA

### Kripke Joyal Semantics For Dependent Type Theory

HoTT Seminar, Pittsburgh HoTT Seminar

### Bicategorical Comprehension Construction And Fibration Of Toposes

Conference talk, TACL 2019, Laboratoire Mathématiques J.A. Dieudonné, Université Côte d’Azur, Parc Valrose

### Toposes In Como

Conference talk, Toposes in Como, Chiostro di Sant’Abbondio, Università degli Studi dell’Insubria

### Fibrations Of Bicategories And Fibrations Of Toposes

Conference talk, YaMCATS, School of Mathematics, University of Sheffield

### Fibrations of Toposes and Etale Maps

Conference talk, PSSL 101, School of Mathematics, University of Leeds

## 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 .

- From 2015-2017, CARGO meetings used to takes place at the school of computer science on every Tuesday at 2:00 p.m. in room 245. For the academic year of 2017-2018 we have our meetings on Thursdays at 11:00 a.m. in the same room.
- Here is the archive of talks: CARGO archive. Feel free to subscribe to our mailing list. Let me also mention the archive of our Theory Seminars talks on Fridays. I have given four talks in theory seminars and numerous talks in CARGO. Sometimes I find enough time and I write the notes of the talks which can be found in below.
- 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: Potential topics and Informal archive.

### Expository Papers And Notes

Writing notes helps me to grasp a mathematical concept or construction and they become less elusive in my mind. Here are the notes from some of my talks for which I had time to type them up. Any reports of mistakes and errors from the reader are always welcome.### 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.

### 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