Author — Ingo Blechschmidt

Ingo Blechschmidt has contributed to 277 nLab pages.

well-ordering theorem | 09:38:22, November 13 2018 |

cubical set - exposition | 17:36:26, November 08 2018 |

inductive family | 18:24:28, October 03 2018 |

localic geometric morphism | 07:38:40, October 03 2018 |

homotopy type theory | 13:55:02, September 24 2018 |

why (infinity,1)-categories? | 07:07:43, September 11 2018 |

scattering amplitude | 15:25:41, July 16 2018 |

fan theorem | 08:12:15, July 13 2018 |

functorial geometry | 15:53:44, July 09 2018 |

logic symbols -- table | 10:16:45, July 03 2018 |

good open cover | 14:25:08, June 13 2018 |

Sandbox | 13:28:05, June 13 2018 |

Sandbox | 13:27:17, June 13 2018 |

direct image | 13:15:49, June 13 2018 |

flabby sheaf | 13:14:38, June 13 2018 |

geometry of physics -- supergeometry | 13:02:24, June 13 2018 |

Sandbox | 12:48:54, June 13 2018 |

connected topos | 13:03:37, February 14 2018 |

surjective geometric morphism | 13:01:14, February 14 2018 |

Sandbox | 07:39:57, February 12 2018 |

sober topological space | 04:38:29, February 11 2018 |

sheaf | 15:22:25, February 06 2018 |

absolute Galois group | 16:07:51, February 03 2018 |

braided monoidal category | 14:30:29, February 03 2018 |

braided monoidal category | 13:24:54, February 03 2018 |

sheaf | 14:44:34, February 01 2018 |

limits and colimits by example | 07:17:24, February 01 2018 |

coverage | 07:13:17, February 01 2018 |

Sandbox | 15:45:01, January 14 2018 |

Tychonoff theorem for locales | 15:42:34, January 14 2018 |

- (infinity,1)-category of (infinity,1)-categories
- (infinity,1)-sheaf
- 2-sheaf
- 3x3 lemma
- abelian category
- absolute differential form
- absolute Galois group
- action functional
- additive functor
- adjoint functor theorem
- adjoint modality
- adjoint triple
- affine line
- affine scheme
- Artin gluing
- atom
- Aufhebung
- axion
- balanced category
- Banach coalgebra
- base topos
- Betti number
- big and little toposes
- Bohr topos
- Borel's theorem
- Borger's absolute geometry
- braided monoidal category
- Bézout domain
- canonical bundle
- Cantor's theorem
- category of sheaves
- causal perturbation theory
- chain homotopy
- classical context
- classical state
- classifying topos
- closed morphism
- co-Yoneda lemma
- coherent logic
- coherent module
- coherent ring
- cohesive homotopy type theory
- coinvariant
- colimits in categories of algebras
- combinatorial model category
- commutator subgroup
- compact object
- compact space
- completely prime filter
- completion of a ring
- computable function
- computad
- concrete sheaf
- connected object
- connected topos
- conservative functor
- continuous map
- corepresentable functor
- coverage
- covert space
- cubical set - exposition
- dagger category
- De Morganization
- Dedekind cut
- deformation theory
- degree of a coherent sheaf
- Demazure, lectures on p-divisible groups, I.3, open- and closed subfunctors; schemes
- dense sub-site
- dense topology
- density
- derived functor
- dg-localization
- diagram chasing
- direct image
- directional derivative
- divisor (algebraic geometry)
- double negation
- Eckmann-Hilton argument
- Einstein summation convention
- element in an abelian category
- Elephant
- end
- equivalence in homotopy type theory
- equivariant bundle
- equivariant derived category
- essential sublocale
- essential subtopos
- essentially algebraic theory
- Euler characteristic
- Euler-Lagrange equation
- Ext
- fan theorem
- fiber
- field
- field with one element
- filtered category
- filtered limit
- finite field
- finite quantum mechanics in terms of dagger-compact categories
- finite set
- finitely generated object
- FinSet
- five lemma
- flabby sheaf
- flat connection
- focal point
- formal spectrum
- fpqc topology
- fracture theorem
- frame of opens
- free cocompletion
- free resolution
- Frobenius reciprocity
- Fréchet space
- functorial geometry
- fundamental group
- fundamental group of a topos
- fundamental theorem of algebra
- geogebra
- geometric point
- geometric realization
- geometry of physics -- supergeometry
- germ of a space
- good open cover
- Grothendieck fibration
- Grothendieck spectral sequence
- Grothendieck topology
- Heyting category
- Hochschild cohomology
- homotopy type theory
- hyperconnected geometric morphism
- ind-object
- ind-pro-object
- indexed category
- inductive family
- infinitesimal object
- Ingo Blechschmidt
- injective object
- integral transforms on sheaves
- internal diagram
- internal hom
- internal logic
- internal sheaf
- Introduction to Stable Homotopy Theory
- Jacques Penon
- Jordan algebra
- Kleisli category
- Kähler differential
- Lambda-ring
- Lie groupoid
- limits and colimits by example
- linear algebra
- local geometric morphism
- local ring
- localic geometric morphism
- localic topos
- locally algebraic scheme
- locally cartesian closed (infinity,1)-category
- locally cartesian closed category
- locally compact locale
- locally internal category
- locally presentable categories - introduction
- locally presentable category
- locally ringed topological space
- logic symbols -- table
- logical functor
- Manfred Lehn
- mapping cylinder
- mapping telescope
- Massey product
- metric jet
- microlinear space
- Mod
- models in presheaf toposes
- moduli stack of elliptic curves
- monad in algebraic geometry
- morphism of finite presentation
- morphism of finite type
- motivation for cohesive toposes
- motivation for higher differential geometry
- motivation for sheaves, cohomology and higher stacks
- natural number
- nilpotent ideal
- normal bundle
- one-sided real number
- open morphism
- open subtopos
- order-theoretic structure in quantum mechanics
- over-(infinity,1)-category
- over-topos
- overt space
- p-adic number
- partial map classifier
- perfect chain complex
- plus construction on presheaves
- point of a topos
- polyfold
- poset of commutative subalgebras
- positive element
- preconditioner
- primitive element
- principal ideal domain
- pro-étale site
- profinite group
- projective module
- proper geometric morphism
- quantale
- quantum computation
- quantum harmonic oscillator
- quantum mechanics
- quasicoherent sheaf
- Quillen exact category
- quotient category
- ramification of ideals
- rank
- rank of a coherent sheaf
- realizability
- reduced scheme
- reflective subcategory
- relative scheme
- salamander lemma
- Sandbox
- scattering amplitude
- schemes are sober
- Serre subcategory
- Serre-Swan theorem
- Set
- shape theory
- sheaf
- sheafification
- sieve
- simple object
- slope of a coherent sheaf
- smooth topos
- sober topological space
- spectral sequence of a filtered complex
- stable (infinity,1)-category
- stable proposition
- stable vector bundle
- stack semantics
- state
- strict 2-limit
- strict initial object
- string theory FAQ
- structured (infinity,1)-topos
- subobject classifier
- subsingleton
- sugaring
- surjective geometric morphism
- synthetic differential geometry
- synthetic differential geometry applied to algebraic geometry
- synthetic mathematics
- t-structure
- tensor product
- tensor product of chain complexes
- tensor product of functors
- tensor product of modules
- The Rising Sea
- Theta characteristic
- tiny object
- topos of types
- Tor
- tripos
- twisted complex
- Tychonoff theorem
- Tychonoff theorem for locales
- van Kampen theorem for toposes
- virtual representation
- walking structure
- weighted colimit
- well-ordering theorem
- why (infinity,1)-categories?
- Wick rotation
- Yoneda lemma
- Zariski site
- étale cohomology
- étale topos