The Ontology Of Order Relation
Published:
Short description
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Published:
Short description
Incomplete as they stand (May, 2017)
Published:
An elegant style
Page not found. Your pixels are in another canvas.
Published:
An elegant style
About me
This is a page not in the main menu
This is a page not in the main menu
This is a page not in the main menu
Published:
A review of cognitive accounts of mathematics
Published:
Friedrich Nietzsche, aus Dionysus-Dithyramben (1888)
Published:
From The Man Without Qualities
Published:
Quine’s Empiricism about mathematics
Published:
Published:
Published:
with focus on the philosophical concerns of the 21st century mathematics
Published:
Published:
To be improved
Published:
Published:
Sloterdijk - Nein, danke! Es ist nur Gelaber …
Published:
Warning: As it stands this write up is incomplete and half-baked! Read at your own risk!
Published:
Avoiding common mistakes and pitfalls when writing your papers; Learning to show mercy on the readers/editors/publishers of your papers
Published:
What does architecture reveals about social tensions and ideological antagonisms?
Published:
My way of learning dutch
Published:
A tale of two lives: a man of politics, a man of academia
Published:
What does Atlas carry?
Published:
Isiah Berlin in his famous essay Two Concepts Of Liberty contrasted two notions of liberty: positive and negative. What are they and are there other forms of liberty in the 21st century social and political subjects outside of this dichotomy?
Published:
An elegant style
Training High School students for partaking in national mathematics olympiad, NODET High School, Iran, 2011
An undergraduate course for social science students, Faculty of Science, Western University, 2014
A mathematics undergraduate course, Mathematics Department, Western University, 2014
University-wide undergraduate course, Mathematics Department, Western University, 2014
Preparation and Selection of Western's Team for Putnam Competitions, Faculty of Science, Western University, 2014
Mathematics undergraduate course, Mathematics Department, Western University, 2014
An undergraduate course for social science students, Mathematics Department, Western University, 2014
1st year undergraduate module, University of Birmingham, School of Computer Science, 2015
2nd year undergraduate module, University of Birmingham, School of Computer Science, 2015
1st year undergraduate module, University of Birmingham, School of Computer Science, 2016
1st year undergraduate module, University of Birmingham, School of Computer Science, 2016
2nd year undergraduate module, University of Birmingham, School of Computer Science, 2017
1st year undergraduate module, University of Birmingham, School of Computer Science, 2017
2nd year undergraduate module, University of Birmingham, School of Computer Science, 2018
Published:</strong>
Notes for my CARGO talk.
Published:</strong>
A list of tricks/theorems/constructions/concepts/theories I wished to know but never had time/opportunity to learn them!
Published:</strong>
Notes from a talk given by Nicola Gambino in theory seminar
Published:</strong>
Notes for my CARGO talk.
Published:</strong>
Some remarks and supplementary notes on my CARGO talk
Published:</strong>
Notes for my CARGO talks.
Published:</strong>
An example of a topos (from logic) that does not have any points.
Published:</strong>
Notes on Street’s paper
Published:</strong>
Some notes on my undertanding of derived algebraic geometry
Published:</strong>
Notes on framed bicategories based on a Cargo Talk
Published:</strong>
Some notes on generalization of Grothendieck fibrations to n-categories
Published:</strong>
Extended notes based on Steve Vickers’s expository talk in CARGO
Published:</strong>
Notes from my Lab Lunch talk on February 13, 2018
Published:</strong>
Notes on framed bicategories based on a Cargo Talk
Published:</strong>
Published:</strong>
Published:</strong>
Published:</strong>
Published:</strong>
Incomplete as they stand (May, 2017)
Research notes: Incomplete
Incomplete as they stand (May, 2017)
To be completed!
Incomplete as they stand (February, 2018)
To be wirtten soon!
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
Incomplete as they stand (April, 2018)
A review of theory of principal bundles and higher principal bundles
Incomplete as they stand (April, 2018)
A review of theory of principal bundles and higher principal bundles
Incomplete as they stand (April, 2018)
A review of existing philosophical theories on mathematical understanding
Published in School of Computer Science, University of Birmingham, 2015
A general report of the first year including background studies submitted to my thesis committee
Published in Theory and Application of Categories (TAC), 2018
with Steve Vickers
Published in University of Birmingham (UK), 2019
Under supervision of Steve Vickers
Published in Arxiv, 2021
Joint work with Steve Awodey and Nicola Gambino
Published:
Published:
Published:
Talks at Leeds and Amsterdam, Based on a joint work with Steve Awodey and Nicola Gambino
Published:
Talks at Pittsburgh and YaMCATS, Based on a joint work with Steve Awodey and Nicola Gambino
Published:
Based on a joint work with Steve Awodey and Nicola Gambino
Upper level undergraduate math course, Johns Hopkins University, 2021
This course introduces students to the natural deduction style of encoding proofs in intuitionistic propositional logic and first order logic. Proof strategies such as proof by cases, negation introduction, proof by contradiction, induction, etc are justified by natural deduction. Later, students are familiarized with proofs on abstract mathematical structures such as finite and infinite sets, ordered sets, metric spaces, and topological spaces. They are introduced to methods of writing proofs which are rigorous, readable, and elegant. Mathematical communication, both written and spoken, is emphasized throughout the course. In this course, students also explore proof-relevant mathemetics by interacting with the Lean proof assistant.