Jackeoz' personal website
Hyperlink ∞-crossroads (AKA hyperlink hoarding)
Como ya me cansé de tener cientos de enlaces
en mis mensajes guardados de telegram,
ahora voy a intentar usar este lugar.
Contents
A¹-homotopy theory and adjacent stuff
Go to top
-
Basic references:
-
Benjamin Antieau, Elden Elmanto - A primer for unstable
motivic homotopy theory
-
Vladimir Voevodsky
-
A¹-homotopy theory
-
Fabien Morel, Vladimir Voevodsky
-
A¹-homotopy theory of schemes
-
Fabien Morel
-
Lectures given at School on Algebraic K-theory and its applications ICTP, Trieste
-
Fabien Morel
-
A1-algebraic topology (Survey ICM 2006)
-
Christophe Cazanave
-
Algebraic homotopy classes of rational functions
(endomorphisms of spheres)
-
Rick Jardine
-
(slides) Motivic spaces and the motivic stable category
-
Brouwer degree and enumerative stuff:
-
(1977) David Eisenbud, Harold Levine
-
An algebraic formula for the degree of a C^infty map germ
-
(1991) Andrzej Łȩcki and Zbigniew Szafraniec
-
An algebraic method for calculating the topological degree
-
(1999) Zbigniew Szafraniec
-
Topological degree and quadratic forms
-
(after 2015) Giorgi Khimshiashvili
-
Topological invariants of quadratic mappings
-
(2016) Jesse Leo Kass, Kirsten Wickelgren
-
The class of Eisenbud--Khimshiashvili--Levine is the local A1-Brouwer degree
-
(2017) Jesse Leo Kass, Kirsten Wickelgren
-
An Arithmetic Count of the Lines on a Smooth Cubic Surface
-
(2019) Kirsten Wickelgren and Ben Williams
-
Unstable motivic homotopy theory
-
(2020) Thomas Brazelton, Robert Burklund, Stephen McKean, Michael
Montoro, Morgan Opie
-
The trace of the local A1-degre
-
(2020) Gereon Quick, Therese Strand and Glen Matthew Wilson
-
Representability of the local motivic Brouwer degree
-
(2020) Sabrina Pauli, Kirsten Wickelgren
-
Applications to A¹-enumerative geometry of the A¹-degree
The published version is
here.
-
(2021) Thomas Brazelton, Stephen McKean
-
Lifts, transfers, and degrees of univariate maps
-
(2021) Thomas Brazelton, Stephen McKean, Sabrina Pauli.
-
Bézoutians and the A¹-degree.
The published version is
here.
-
(2023) Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren
-
A quadratically enriched count of rational curves
-
(2023) Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren
-
A relative orientation for the moduli space of stable maps
to a del Pezzo surface
-
Vector bundle representability:
-
Aravind Asok, Marc Hoyois, Matthias Wendt
-
Affine representability results in A1-homotopy theory I: vector bundles
See, especially, theorem 3.2.5 about the sheaf condition for
the Nisnevich topology in terms of distinguished squares.
Also see the
arXiV version.
-
Tsit Yuen Lam
-
Serre's Problem on Projective Modules
-
Six operations stuff:
-
(2007) Joseph Ayoub
-
Les six opérations de Grothendieck et le formalisme des cycles
évanescents dans le monde motivique (Thesis version)
(Asterisque version), vol 1 (quatre opérations, sur les
2-foncteurs homotopiques stables)
(Asterisque version), vol 2 (foncteurs cycles proches,
construction)
-
(2009) Denis-Charles Cisinski, Frédéric Déglise
- Triangulated categories of mixed motives
-
(2012) Yifeng Liu, Weizhe Zheng - Enhanced six operations
and base change theory for higher Artin stacks
-
(2014) Marc Hoyois
-
A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula
-
(2015) Marc Hoyois
-
The six operations in equivariant motivic homotopy theory
(
alternative
)
-
(2018) Frédéric Déglise, Fangzhou jin, Adeel A. Khan
-
Fundamental classes in motivic homotopy theory
-
(2020) Brad Drew, Martin Gallauer
-
The Universal Six-Functor Formalism
-
(2021) Martin Gallauer
-
An introduction to 6-functor formalisms
-
(2021) Chirantan Chowdhury
-
Motivic homotopy theory of algebraic stacks
-
(2021) Frédéric Déglise
-
An intoductory course on motivic homotopy
theory and rational mixed motives
-
(2022) Marc Levine
-
Atiyah-Bott localization in equivariant witt cohomology
-
(2024) Toni Annala, Marc Hoyois, Ryomei Iwasa
-
Atiyah duality for motivic spectra
-
References: algebraic geometry, commutative
algebra, infinity-categories:
-
Ravi Vakil
-
The rising sea: foundations of algebraic geometry
-
Yevsei Nisnevich
-
The completely decomposed topology on schemes and associated
descent spectral sequences in algebraic K-theory
-
Marco Robalo
-
Applications of derived algebraic geometry in enumerative
geometry and invariants of singularities
It has an excellent appendix on infinity categories.
-
Jacob Lurie
-
Higher topos theory
-
Jacob Lurie
-
Spectral algebraic geometry
See Nisnevich coverings, in 3.7.1.
-
Jacob Lurie
-
Higher algebra
-
Jacob Lurie - Kerodon: an online resource for homotopy-coherent
mathematics
-
Jacob Lurie - Derived algebraic geometry IX: descent
theorems.
Contains some results about the Nisnevich topology.
-
Günter Scheja and Uwe Storch - Über Spurfunktionen bei
vollständigen Durchschnitten
-
Burchard Kaup - Ein Kriterium für platte holomorphe
Abbildungen
-
Joshua Ruiter - Galois descent
-
Keith Conrad - Galois descent
-
(2009) Vladimir Voevodsky
-
Homotopy theory of simplicial sheaves in completely
decomposable topologies
-
Research papers by Marc Hoyois
See, especially, appendix A of
Norms in motivic homotopy theory
-
Milnor's K-theory and conjectures:
-
Philippe Gille and Tamás Szamuely
-
Central simple algebras and Galois cohomology
-
John Milnor - Algebraic K-theory and quadratic forms (1970)
-
Daniel Dugger - Notes on the Milnor conjectures
-
Frédéric Déglise - Notes on Milnor-Witt K-theory
-
question on Mathoverflow: Why is Milnor K-theory not ad-hoc?
-
Antoine Delzant
-
Définition des classes de Stiefel-Whitney d'un module quadratique sur un corps de caractéristique différente de 2
-
Esnault-Kahn- Viehweg
-
Coverings with odd ramification and Stiefel-Whitney classes.
-
Motivic cohomology:
-
Vladimir Voevodsky
-
Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)
-
Carlo Mazza, Vladimir Voevodsky, Charles Weibel
-
Lectures on motivic cohomology
There is a "distillation"
here
Cool maths stuff
Go to top
-
Ongoing seminars, colloquiums and workshops
-
eCHT Minicourses
-
Seminario nacional de geometría algebraica (SNGA México)
-
Jornadas de geometría algebraica (México)
-
Tópicos matemáticos piq2: coloquio de divulgación de la UDG
-
Coloquio de álgebra de CUCEI
-
Symplectic zoominar
-
Archive of past courses
-
Marc Levine's Motives seminar on quadratic intersection
theory and motivic linking
-
eCHT research seminar reading group
-
eCHT Kan Seminar web 2025
-
eCHT Stable homotopy theory course. Winter 2025
-
eCHT research seminar on quadratic curve counting, Fall 2024
-
eCHT Quadratic curve counting (2024) Seminar schedule
-
Peter Scholze - (2024) Lecture: The Habiro Ring of a Number Field
-
youtube playlist: Spectral sequences, by Clover May, from a 2020
course in UCLA
-
London Learning Lean (seminar)
-
CMU Homotopy type theory Robert Harper (course webpage)
-
youtube: Homotopy type theory lectures by Robert Harper
-
youtube: NPTEL Lectures on Classical Field Theory by Suresh Govindarajan, IIT Madras
-
youtube: differential geometry
-
youtube: Lean Together 2024
-
youtube: Logic in Lean, video 1 (logical implication)
-
Math W4053- Introduction to Algebraic Topology
-
handouts for Brian Conrad's differential geometry course
-
Assignments and lecture notes of an algebraic geometry course
-
John Baez' seminar
-
Keith Conrad - Modularity lifting seminar 2010
-
Professor A. J. de Jong - Course on the language of schemes
-
EVAH 2020 - Encuentro virtual de álgebra homológica
-
CIS 610, - Advanced Geometric Methods in Computer Science
Spring 2023 notes
and
Spring 2018 notes
-
Math resources
-
-
-
-
arXiv: Quantum cohomology of blowups
- Hiroshi Iritani
-
K_0 groups of the stunted real projective spaces
- Michikazu Fujii, Teruko Yasui
-
Bott periodicity - Caleb Ji
-
Part II Algebraic Topology – Example Sheet 4 - Ailsa Keating
-
Publications of Andrés Jaramillo Puentes
-
arXiv: Welschinger invariants revisied
- Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin
-
arXiv: Purity for Flat Cohomology — Kęstutis Česnavičius & Peter Scholze
-
Yoneda Ext and Exact Sequences — Keith Conrad
-
MO: Sophisticated treatments of topics in school mathematics
-
arXiv: The pro-étale topology for schemes — Bhargav Bhatt & Peter Scholze
-
MSE: Examples of morphisms of schemes to keep in mind
-
MSE: Motivation of stable homotopy theory
-
Derived Categories, Motives, and Algebraic Geometry — Daniel Murfet
-
What is a Stack? — Ask a Topologist
-
MO: Categorical definition of the ideal product within the category of rings
-
arXiv: Six Functors Formalism for Motivic Homotopy Theory
-
-
arXiv: Derived Algebraic Geometry and Motivic Methods
-
Algebraic Geometry, Lecture 18 — Johan de Jong
-
MSE: Basic Schubert calculus intuition
-
arXiv: On the Étale Homotopy Type of Higher Stacks
-
Toric Varieties — David Cox, John Little & Henry Schenck
-
arXiv Author Page: Daniel Murfet
-
arXiv: Compactly Generated Triangulated Categories and Applications
-
arXiv: Tensor Triangular Geometry and Motivic Categories
-
Jia-Cheng Xu — Personal Academic Homepage
-
arXiv: Motivic Homotopy Theory of Noncommutative Spaces
-
Orientation in Motivic Homotopy Theory — Jia-Cheng Xu
-
Grothendieck Duality and Base Change
-
p-adic Differential Equations — Kiran S. Kedlaya
-
Logic Matters: Categories — Peter Smith
-
Singularities of Algebraic Varieties — İzzet Coskun
-
arXiv: The Homotopy Theory of Derived Algebraic Geometry
-
Number Theory Web Seminar — Previous Talks
-
arXiv: Motivic Categories and Six Operations
-
MSE: Intersection number of the exceptional line
-
Theory and Applications of Categories — Reprints Archive
-
Derived Categories and Algebraic Geometry — Aalto University
-
Bert Guillou's graduate courses notes (chromatic homotopy,
equivariant homotopy, vector bundles, Hopf algebras,
homotopy theory)
-
Michael A. Mandell
-
Operads and operadic algebras in homotopy theory
-
Cary Malkiewich's book: Spectra and stable homotopy theory
-
Stefan Schwede's notes on symmetric spectra
-
Antelo Vistoli - Notes on Grothendieck topologies, fibered
categories and descent theory
-
Daniel Quillen - Homology of commutative rings
also see
André, Michel (1974), Homologie des Algèbres Commutatives and
Quillen, Daniel (1970), On the (co-)homology of commutative rings
-
Daniel Quillen - Homotopical algebra
-
Gaitsgory et Rozenblyum - A study in derived algebraic geometry - book
-
Charles Weibel - The K-book
-
Charles Weibel - Development of algebraic K-theory until 1980
-
Michael Atiyah - K-theory
-
Guide to the Serre spectral sequence in 10 easy steps!
-
Mark Shoemaker
-
Watch out for his enumerative geometry notes for a workshop in
Costa Rica (2019)
-
Andrei Bud and Dawei Chen
-
Moduli of Differentials and Teichmüller Dynamics
-
MIT OpenCourseWare: Vector bundles and principal bundles
-
Cohomology theories in algebraic geometry -
Cohomology theories in motivic stable homotopy theory -
Andreas Holmstrom
-
Agnès Beaudry and Jonathan A. Campbell
-
A Guide for Computing Stable Homotopy Groups
-
Ravi Vakil - Puzzling through spectral sequences
-
Simplicial localizations of categories
William G. Dwyer, Daniel M. Kan
-
Daniel Dugger, Sharon Hollander, Daniel C. Isaksen
-
Hypercovers and simplicial presheaves
-
Chi-Kwong Fok
-
A stroll in equivariant K-theory
-
Jacob Lurie
-
A survey of elliptic cohomology
-
Dan Edidin
-
What is... a stack?
-
Jarod Alper
-
Notes on stack and moduli
and
youtube lectures
-
Ben Heuer
-
Notes on rigid analytic geometry
-
Seven short stories on blowups and resolutions
-
What is... a motive? - Barry Mazur - Document Zbl 1054.14511
- zbMATH Open
-
The HoTT game
-
Lichtenbaum and Schlessinger - The cotangent complex of a
morphism
-
Introduction to the language of stacks and gerbes - Ieke Moerdijk
-
Atiyah and Rees - Vector bundles on projective 3-space
-
Morgan Opie - A classification of complex rank 3 vector
bundles on complex projective 5-space
-
Atiyah and Hirzebruch - Riemann-Roch theorems for
differentiable manifolds
-
Gereon Quick - Math 231b.
-
Inna Zakharevich - K-theory and characteristic classes: a
homotopical perspective
-
Steven D. Galbraith - Equations for modular curves
-
Sara Angela Filippini, Helge Ruddat, Alan Thompson
-
An introduction to Hodge structures
-
-
-
-
Articles I'll check out some day
-
arXiv: Topological and smooth stacks - David Metzler
-
arXiv: Intersection theory of matroids: variations on a theme - Federico Ardila-Mantilla
-
arXiv: Matroid theory for algebraic geometers - Eric Katz
-
jstor: The category of graded modules, by Robert Fossum and
Hans-Bjørn Foxby
-
arXiv: Cardy algebras and sewing constraints, I
- Liang Kong, Ingo Runkel
-
arXiv: 2-Dimensional Categories
- Niles Johnson, Donald Yau
-
arXiv: Ring Constructions and Generation of the Unbounded Derived
Module Category
- Charley Cummings
-
numdam: Two constructions on Lax functors
- Ross Street
-
arXiv: Geometric Satake, Springer correspondence, and small
representations II
- Pramod N. Achar, Anthony Henderson, Simon Riche
-
arXiv: Andre-Quillen homology of commutative algebras
- Srikanth Iyengar.
It can also be
found
in Brooke Shipley's web page
-
acm: A Constructive Model of Directed Univalence in Bicubical Sets
- Matthew Weaver, Dan Licata
-
arXiv: E_n ring spectra and Dyer-Lashof operations
- Tyler Lawson
-
arXiv: Stable infinity categories
- Jacob Lurie
-
-
-
-
-
Mathy projects
-
-
Projective Plane Plotter
-
LMFDB - The L-functions and modular forms database
-
Homotopy Type Theory
-
1Lab.intro - 1Lab
-
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
-
The adjectives project
-
The Stacks project
-
The CRing project
-
GitHub - EgbertRijke/HoTT-Intro: An introductory course to Homotopy Type Theory
-
Subgroup Explorer – Sheaves – Math, Python, Sage
-
Groupprops
is an online database of properties of groups. See, e.g. the
Projective special linear group:PSL(2,C)
-
Grant Glouser
and his
Cut and project tiling
project
-
One can calculate Gröbner bases using Sage,
see
the documentation,
especially
Ideals in multivariate polynomial rings
and
Constructors for polynomial rings
.
There is an online interpreter at
Sage Cell Server
-
dfield and pplane
There also this other one, with instructions:
pplane
-
Other mathy links
-
-
Representability of the local motivic Brouwer degree
- Gereon Quick, Therese Strand, Glen Matthew Wilson
-
Exceptional splitting of reductions of abelian surfaces
- Ananth N. Shankar, Yunqing Tang
-
A local trace formula for the generalized Shalika model
- Raphaël Beuzart-Plessis, Chen Wan
-
The four functors of Grothendieck in examples
- Konrad Voelkel
-
Notes on condensed mathematics - Kiran S. Kedlaya
-
Monoidal categories - Dongryul Kim
-
Infinity category seminar - Dongryul Kim
-
Stable infinity-categories - Torgeir Aambø
-
n-category cafe: Understanding the homotopy coherent nerve
- Emily Riehl
-
Software Foundations
-
Natural number game
-
Lambda Calculus Evaluator
-
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
-
Theory and Applications of Categories
-
John Baez - Patterns That Eventually Fail | Azimuth
-
Homotopy Type Theory, I | The n-Category Café
-
What is Homotopy Type Theory Good For? | The n-Category Café
-
Get started with Lean
and
Learning Lean
-
Über die Null, den leeren Raum und andere triviale Fälle
-
Mumford: on errors in mathematics.
-
Quanta magazine: The fight to fix symplectic geometry
-
google groups: Planck Units and (slowly) changing Fine-Structure Constant
-
Timetoast 1901-1955 History of Mathematics Timeline | Timetoast timelines
-
cantorsparadise: The Anarchist Abstractionist — Who was Alexander Grothendieck? | by Jørgen Veisdal | Cantor’s Paradise
-
Motivos matemáticos / Artículos
-
Two Cultures in mathematics.
This is an nLab article but reads like a blog
-
In
Ask a topologist
there is an interesting post on the
Difference between limit, cluster, and accumulation points
-
Récoltes et Semailles I, II - Tel - GALLIMARD - Site Gallimard
-
Old Pappus' Book of Mathematical Calligraphy
-
Vladimir Arnold - Wikiquote
-
*nLab -- General Discussion | The n-Category Café
An old thread discussing the nLab.
-
Gregory Constantine's post on group theory,
specially the one on
Sylow's theorems
-
Todd Trimble's notes
in John Baez web page. See, e.g., his
note on weak 4-categories
-
nCategory cafe - On a topological topos - Emily Riehl
-
Category theory Zulip chat archive
-
antoniobehn: La simplicidad del grupo alternante
Actualización. El sitio web de
Antonio Behn ya no existe. Lo primero que aparece al buscar su
nombre son declaraciones contradictorias acerca de un acto
de represión estudiantil.
-
Representation theory of the Lorentz group (for undergraduate students of physics)
- Kevin Buzzard - Introduction to university mathematics in LEAN
- Reprints in Theory and Applications of Categories
- Marc A. Rieffel - Lectures on measure and integration
- John W. Milnor | Simons Foundation
- researchseminars.org - Browse talks
- HoTTEST Conference 2020 - Western University
- Univariate Distribution Relationship Chart
- Juan Antonio Navarro González - Récoltes et Semailles. La Clef des Songes. Alexandre Grothendieck
- Juan Antonio Navarro González - Página personal
- Juan Antonio Navarro González - Fotos
- Jeff Miller Pages
- Seminario Latinoamericano de Teoría de Números
- Clever Homotopy Equivalences
- Math 204A - Number Theory (UCSD and online, fall 2020)
- Lecture Notes | Modern Algebra | Mathematics | MIT OpenCourseWare
- Omar Antolín Camarena - Personal website
- Motivos matemáticos - Revista electrónica
- Teoría de Ecuaciones Diferenciales Ordinarias II
- Giancarlo Urzua - Personal webpage
- Tardes de Café y Álgebra UAM-I
- Wojtek Wawrów - Personal webpage
- Theorem Proving in Lean - Lean Manual
- The Haskell 98 Report: Declarations
- Lean community
- Lean community
- Lean projects
- Logic: Logic in Coq
- Homotopy Type Theory should eat itself (but so far, it’s too big to swallow) | Homotopy Type Theory
- Installation — The HoTT Game 0.1 documentation
- Fundamental Group of the Circle — The HoTT Game 0.1 documentation
- Critical values of the Kolmogorov-Smirnov test - The DO Loop
- Lean - Zulip
- Colimits in HoTT | Homotopy Type Theory
- Groupoid cardinality | Annoying Precision
- Common Errors in College Math
- The categorical exponential formula | Annoying Precision
- uniftest source listing
- Introduction - Counterexamples in Type Systems
- Type Theory (Stanford Encyclopedia of Philosophy)
- Writing what I'm learning
- FernandoChamizo
- Jesús Rogelio Pérez Buendía: Miselanea
- adjoint modality in nLab
- GitHub - rossant/awesome-math: A curated list of awesome mathematics resources
- Homepage of Martin Gulbrandsen
- Homepage of Helge Ruddat
-
Physics-y links
-
- Bib-it: Help - BibTeX Entry and Field Types
- Hybridization of Atomic Orbitals
Does Time Really Flow? New Clues Come From a Century-Old Approach to Math. | Quanta Magazine
-
Tensor de campo electromagnético - Wikipedia
-
FisicaLab - Intensidad del campo gravitatorio
-
Henrik Johannesson's course on topological quantum matter
-
Cuentos cuánticos - podcast
-
About formulating Cauchy's initial value problem in higher
dimensions.
I literally searched "cauchy problem higher order
partial differential equations".
-
Cauchy problem - Encyclopedia of Mathematics
-
Cauchy problem - Wikipedia
-
The Cauchy Problem for Higher Order Equations | SpringerLink
-
MSE: Best Book For Differential Equations?
-
Lectures on partial differential equations - Arnold
-
Topic 14.8: Higher-Order Initial-Value Problems
Personal webpages and blogs, with or without maths
Go to top
-
My friend Ernesto's website
-
Alonso Castillo Ramírez (UDG)
-
Una
receta de omelette vegano
en el blog de Itzcalli.
-
El blog de Alexandro
-
Maru Sarazola's web page.
She has nice stuff there!
-
Ravi Vakil's intersection theory course
-
Alex Youcis
See their posts on
flat morphisms and flatness
and on
unramified morphisms
-
Hopf fibration visualization by Niles Johnson's
-
Keith's blog
-
Connor Lane's blog
-
Allen Hatcher
-
Andrew D. Lewis' notes on global analysis
-
Daniel Dugger
See, e.g.,
Grothendieck groups of complexes with null homotopies
and his book in progess:
Sheaves and homotopy theory
-
Javier J. Gutiérrez,
y más
Javier J. Gutiérrez
See,
K-theory groups of the spheres
-
Gilles Castel
and his legendary posts on
How he's able to take notes in mathematics lectures using
LaTeX and Vim
and
How he draws figures for his mathematical lecture notes
using Inkscape
-
Adam Block
-
Donu Arapura
-
ERGÜN YALÇIN
-
Keith Conrad
-
Dmitri Pavlov
-
Tyler Lawson.
He has
Mark Hovey's list of open problems in model category theory
-
Matt Kawski and his Vector field analyzer
-
Ben Lynn
and his post
All Hail Geometric Algebra!
-
Peter Belmans
and his post on the
Atlas of Spec Z[X]
-
Dexter Chua
and his series of posts on
Motivic homotopy theory
-
Francis Villatoro
y su post en
Naukas
sobre
La obra de Alexander Grothendieck (1928-2014)
-
Eric Phorgy
(yes the one from the differential forms discussion with John Baez)
-
Amelia's blog
and their posts
Reflections on equality
,
On induction
,
and
Cubical type theory
-
Tobias J. Osborne's blog: research notes
-
Jason Polak is moving websites, so there is
blog.jpolak
and also
jpolak
.
I liked the post "Being Noetherian is not a local property...
or is it?" but I can't seem to find it now.
-
Samuel Li's projects
and his super famous
Hopf fibration visualization
-
Mark Barbone's personal webpage:
The cohomology of your programming language is boring
-
Anton Zeitlin's personal webpage:
He has nice notes for conformal field theory and mathematical physics in his "teaching" section
-
Akhil Mathew's blog Climbing Mount Bourbaki
and his posts on
Understanding the derived infinity-category
and
The universal property of the derived infinity-category
-
Matthias Künzer
has some interesting stuff about Grothendieck, including
Hoàng Xuân Sính's thesis on Gr categories
which predate the modern notion of 2-groups
-
Keith Conrad
and his
expository papers
-
A bit of what remains of
Michael Harris's web page
-
Tai-Danae Bradley's blog Mathema
-
Ingo Blechschmidt
and his
Notes on how to use the internal language of toposes in
algebraic geometry
-
Paolo Aluffi
-
Andrej Bauer
has some interesting posts, like
Intuitionistic mathematics for physics
or
Computing an integer using a Grothendieck topos
-
Aise Johan de Jong
-
Robert Harper
and his blog
Existential type
-
The
neverendingbooks
blog and its
original location.
See the posts on
Mazur’s knotty dictionary
and
children have always loved colimits
-
Orr Shalit's - Noncommutative analysis: a blog
-
Logan Hyslop - Ramblings of an Aspiring Mathematician
-
Quiaochy Yuan - Annoying Precision
-
Alain Badiou: The Three Fundamental Logics of Negation (Hyper-Transcription) – dingpolitik
-
Terry Tao
-
245B, notes 2: Amenability, the ping-pong lemma, and the Banach-Tarski paradox (optional)
-
The
AltExploit
blog. See their post on
Spinors, Twistors and Ontologies of SpaceTime
-
John Baez' personal page
.
Look at his column
week 201 findings in mathematical physics
and his expository writings:
groupoidification of linear algebra
,
the notes for his
Classical mechanics course
.
List of Wikipedia articles
Go to top
These are some wikipedia articles that I am interested in.
Since making every item a link is tiresome and hard to mantain,
here is a convenient form to navigate to the desired wiki article.
Just copy and paste the desired title after the "wiki/" and press Go.
- Sprouts (game)
- Łukasiewicz logic
- Structure and Interpretation of Computer Programs
- Structure and Interpretation of Classical Mechanics
-
- -- Algebra and categories --
- Gröbner basis
- Derived functor
- Injective module
- Grothendieck topology
- sieve (category theory)
- monoid (category theory)
- monoidal category
- category of groups
- exact sequence
- normal morphism
- abelian category
- category of rings
- sheaf
- five lemma
- nine lemma
- snake lemma
- ext functor
- change of rings
- final topology
- initial topology
- category of topological spaces
- formal power series
- K-theory
- Silvester's intertia of signature
- chain (algebraic topology)
- chain complex
- matrix similarity
- fundamental theorem of linear algebra
- singular value descomposition
- singular value
- unitary matrix
- conjugacy class
- matrix equivalence
- Smith normal form
- Schur decomposition
- Jordan normal form
- generalized eigenvector
- defective matrix
- second fundamental form
-
- -- geometry and stuff --
- Riemann–Roch theorem
- A¹ homotopy theory
- Lagrangian mechanics
- Spray (mathematics)
- Jet bundle
- Pfaffian
- Chern-Weil homomorphism
- Chern-Gauss-Bonnet theorem
- Atiyah-Singer index theorem
- normal bundle
- differential geometry of surfaces
- second fundamental form
- Cartan connection
- exterior covariant derivative
- vertical and horizontal bundles
- solder form
- Spin representation
- integration along fiber
- fibre derivative
- sheaf (mathematics)
- 3d projection
- homotopy
- holonomy
- homology (mathematics)
- Koszul connection
- Ehresmann connection
- Connection (principal bundle)
- slant product
- cup product
- cap product
- cross product
- Weitzenböck identity
- Mayer-Vietoris sequence
- Serre-Swan theorem
- Henstock-Kurzweil integral
- Khinchin integral
- Daniell integral
- Spin group
- Orthogonal group
- Orthogonal group#Special orthogonal group
- Spin group
- Characteristic class
- Euler class
- Chern class
- Lie algebra cohomology
- Möbius transformation
- Ladder operator
- Spectral theorem
- Resolvent formalism
- Fréchet–Urysohn space
-
- -- molecular orbitals --
- Método de orbitales moleculares como una combinación lineal de orbitales atómicos
- Teoría de los orbitales moleculares
- Enlace π
- Enlace σ
- Orbital molecular
-
-
Lista de artículos del nLab
Go to top
Same as above: append the desired article title and press Go.
- 2-group
- algebra over a monad
- quasicoherent sheaf
- pseudofunctor
- monoidal category
- principle of equivalence
- regular morphism
- effective morphism
- regular category
- exact category
- protomodular category
- semi-abelian category
- congruence [look for "effective congruence"]
- localization
- double category
- internal category
- group
- groupoid
- n-groupoid
- automorphism 2-group
- 2-congruence [i was looking for the definition of quotient category]
- Grp
- Mod
- Infinity-Grpd
- Galois theory
- co-Yoneda lemma
- torsion theory
- pointed object
- graph of a functor
- stack
- analytic versus synthetic
- locally presentable category
- extension system
- pointed endofunctor
- sieve
- vertical categorification
- over category
- quiver representation
- modular tensor category
- cluster algebra
- braid group
- condensed set
- Schur-Weyl duality
- rational number
- Pontrjagin dual
- module object
-
- -- homotopy theory --
- (n,r)-category
- (infinity,1)-category
- stable homotopy category
- stable homotopy theory
- stable (infinity,1)-category
- stable (infinity,1)-category
- stable (infinity,1)-category
- (infinity,n)-category of correspondences
- higher category theory
- homotopical category
- twisting function
- van Kampen theorem
- derived category
- model category
- Quillen exact category
- Bott periodicity
- simplicial localization
- combinatorial model category
- (infinity,1)-categorical hom-space
- locally presentable (infinity,1)-category
- left Bousfield localization of model categories
- weak homotopy equivalence
- Motivic homotopy theory
- introduction to homotopy theory
- homotopy hypothesis
- spectral sequence of a filtered complex
- classical model structure on topological spaces
- category with weak equivalences
- weak factorization system
- lift
- serre fibration
- modulating morphism [looking for what does it mean for a diagram in an infinity category to commute]
- homotopy theory FAQ
- internal hom of chain complexes
- derived category
- triangulated category
- suspended category
- a survey of elliptic cohomology - E_infinity rings and derived schemes
- homotopy category of chain complexes
- prime spectrum of a symmetric monoidal stable (infinity,1)-category
- prime spectrum of a symmetric monoidal stable (∞,1)-category
- stable (infinity,1)-category
- connected space
- fiber sequence
- classifying space
- Dold-Kan correspondence
- geometric realization
- spectral sequence
-
- -- toposes, fibered cats, logic--
- coverage
- Grothendieck pretopology, Grothendieck topology
- Grothendieck fibration, Grothendieck construction
- base change, dependent sum, dependent product
- internal logic, syntactic category, categorical semantics
- locale, frame
- gerbe
- span
- source, target
- spectrum
- type theory, context
- infinity-space
- subobject classifier
- domain opfibration, codomain fibrationnono
- subobject classifier
- (sub)object classifier in an (infinity,1)-topos
- quasitopos
- operad
- logos
- cohesive homotopy type theory
-
- -- (higher) physics, cohomology, geometry --
- Cartan calculus
- Cartan's homotopy formula
- geometry of physics
- motivation for sheaves, cohomology and higher stacks
- space and quantity
- algebraic analysis
- Hegelian taco
- arithmetic jet space
- arithmetic differential geometry
- vielbein
- orthogonal structure
- reduction and lift of structure groups
- Künneth theorem
- Serre spectral sequence
- spin representation
- superymmetry
- spinor bundle
- Dirac field
- field bundle
- special unitary group
- Majorana spinor
- spin representation
- moment map
- exceptional geometry
- Bott periodicity
- Schouten bracket
- Clifford algebra
List of Kerodon tags:
Go to top
Math questions
Go to top
Physics questions
Go to top
Go to top
Información cultural
Go to top
Programming and ubuntu stuff
Go to top
Blogs scouts
Go to top