Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Ingo Blechschmidt
Augsburg, Germany
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
14
votes
Does every sheaf embed into a quasicoherent sheaf?
ag.algebraic-geometry
sheaf-cohomology
quasi-coherent-modules
asked Nov 2 '18 at 3:12
mathoverflow.net
12
votes
Novella where two vast digital civilizations simulate each other
story-identification
novella
asked Jan 29 '19 at 16:11
scifi.stackexchange.com
12
votes
Constructively correct notion of unique factorization domain
ac.commutative-algebra
constructive-mathematics
asked Dec 15 '13 at 16:38
mathoverflow.net
10
votes
What does the localic reflection of a classifying topos classify?
topos-theory
locales
categorical-logic
asked May 30 '17 at 23:38
mathoverflow.net
9
votes
Reflection principle for intuitionistic Zermelo–Fraenkel?
set-theory
lo.logic
constructive-mathematics
asked Dec 15 '18 at 21:00
mathoverflow.net
8
votes
Base change in homotopy type theory
lo.logic
infinity-topos-theory
homotopy-type-theory
asked Dec 1 '14 at 11:37
mathoverflow.net
8
votes
When are free modules on sheaves of sets quasicoherent?
sheaf-theory
schemes
topos-theory
quasi-coherent-modules
asked Mar 4 '17 at 9:47
mathoverflow.net
7
votes
Explaining the consistency of PRA and ZF from predicative foundations
set-theory
lo.logic
mathematical-philosophy
foundations
constructive-mathematics
asked Feb 17 '19 at 23:37
mathoverflow.net
6
votes
Best practice for dealing with Dirichlet boundary conditions in finite-difference schemes: add artificial unknowns?
finite-difference
boundary-conditions
asked Jul 19 '16 at 21:53
scicomp.stackexchange.com
5
votes
Elementary proof of the exactness of Čech complex associated to a hypercovering (“Illusie's Conjecture”)
homotopy-theory
homological-algebra
simplicial-stuff
sheaf-cohomology
asked Jan 20 at 23:15
mathoverflow.net
Top Answers
74
Run git pull over all subdirectories
stackoverflow.com
40
Joyal's construction of the spectrum of a commutative ring
mathoverflow.net
17
What does a proof in an internal logic actually look like?
math.stackexchange.com
16
Locales as spaces of ideal/imaginary points
mathoverflow.net
13
Elementary topoi have initial objects, why?
math.stackexchange.com
11
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
math.stackexchange.com
11
Constructive proof that a kernel consists of nilpotent elements
mathoverflow.net
11
Properties of the petit Zariski topos
mathoverflow.net
11
Is the theory of vector bundles just linear algebra done in a suitable topos?
mathoverflow.net
9
What are topoi?
math.stackexchange.com
9
What does the Zariski topos of $\mathbb{P}^1$ classify?
mathoverflow.net
8
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
math.stackexchange.com
8
Is every commutative ring having the invariant basis number property equivalent to AC?
math.stackexchange.com
8
Tight apartness relations in toposes
mathoverflow.net
7
Finitely generated projective modules are locally free
math.stackexchange.com
7
Classifying Space of “Valuation Ringed Spaces over a Topos”
mathoverflow.net
6
What is the functor tensor product?
mathoverflow.net
6
Alternate proofs of Hilberts Basis Theorem
mathoverflow.net
6
Constructively, is the unit of the “free abelian group” monad on sets injective?
mathoverflow.net
5
How do you work with infinitesimal exponents in synthetic differential geometry?
math.stackexchange.com
5
Why Zariski topology?
math.stackexchange.com
5
Stack semantics for the layman
math.stackexchange.com
5
Smooth real line and Dedekind cuts
math.stackexchange.com
5
What monads can be expressed as Free over some functor?
stackoverflow.com
5
Tweetable Mathematics
mathoverflow.net
5
Points of the big Zariski site
mathoverflow.net
Stack Exchange works best with JavaScript enabled