Tour
About Us
Meta
Loading…
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
Log in
Stack Exchange
All Sites
Top Users
Digests
Ingo Blechschmidt
Augsburg, Germany
top
accounts
reputation
activity
subscriptions
Top Questions
16
votes
Does every sheaf embed into a quasicoherent sheaf?
ag.algebraic-geometry
sheaf-cohomology
quasi-coherent-modules
asked Nov 2, 2018 at 3:12
mathoverflow.net
13
votes
Constructively correct notion of unique factorization domain
ac.commutative-algebra
constructive-mathematics
asked Dec 15, 2013 at 16:38
mathoverflow.net
13
votes
Novella where two vast digital civilizations simulate each other
story-identification
novella
asked Jan 29, 2019 at 16:11
scifi.stackexchange.com
12
votes
What does the localic reflection of a classifying topos classify?
topos-theory
locales
categorical-logic
asked May 30, 2017 at 23:38
mathoverflow.net
9
votes
Base change in homotopy type theory
lo.logic
infinity-topos-theory
homotopy-type-theory
asked Dec 1, 2014 at 11:37
mathoverflow.net
9
votes
When are free modules on sheaves of sets quasicoherent?
sheaf-theory
schemes
topos-theory
quasi-coherent-modules
asked Mar 4, 2017 at 9:47
mathoverflow.net
9
votes
Reflection principle for intuitionistic Zermelo–Fraenkel?
set-theory
lo.logic
constructive-mathematics
asked Dec 15, 2018 at 21:00
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, 2019 at 23:37
mathoverflow.net
6
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, 2021 at 23:15
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, 2016 at 21:53
scicomp.stackexchange.com
1
2
next
Top Answers
124
Run git pull over all subdirectories
stackoverflow.com
40
Joyal's construction of the spectrum of a commutative ring
mathoverflow.net
23
What does a proof in an internal logic actually look like?
math.stackexchange.com
16
Locales as spaces of ideal/imaginary points
mathoverflow.net
15
Elementary topoi have initial objects, why?
math.stackexchange.com
15
What are topoi?
math.stackexchange.com
14
Is every commutative ring having the invariant basis number property equivalent to AC?
math.stackexchange.com
14
Is the theory of vector bundles just linear algebra done in a suitable topos?
mathoverflow.net
13
Do pretopoi have cohomology and homotopy groups?
mathoverflow.net
12
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
math.stackexchange.com
11
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
11
Constructive proof that a kernel consists of nilpotent elements
mathoverflow.net
11
Properties of the petit Zariski topos
mathoverflow.net
11
What does the Zariski topos of $\mathbb{P}^1$ classify?
mathoverflow.net
10
Finitely generated projective modules are locally free
math.stackexchange.com
10
Tight apartness relations in toposes
mathoverflow.net
9
Examples of statements that are valid in every spatial topos
mathoverflow.net
9
Alternate proofs of Hilberts Basis Theorem
mathoverflow.net
8
Stack semantics for the layman
math.stackexchange.com
8
Points of the big Zariski site
mathoverflow.net
7
Classifying Space of "Valuation Ringed Spaces over a Topos"
mathoverflow.net
7
Triple negation in intuitionistic logic?
math.stackexchange.com
6
When can we prove constructively that a ring with unity has a maximal ideal?
mathoverflow.net
6
Construction of the petit Zariski topos out of the gros topos of a scheme
mathoverflow.net
6
Constructively, is the unit of the “free abelian group” monad on sets injective?
mathoverflow.net
6
What monads can be expressed as Free over some functor?
stackoverflow.com
6
Smooth real line and Dedekind cuts
math.stackexchange.com
6
What is the functor tensor product?
mathoverflow.net
6
Why Zariski topology?
math.stackexchange.com
6
How do you work with infinitesimal exponents in synthetic differential geometry?
math.stackexchange.com
1
2
next
Stack Exchange works best with JavaScript enabled