Stack Exchange

Hanno

Dresden

http://www.math.uni-bonn.de/people/habecker/

Former math student from Bonn (PhD Thesis), now doing formal verification at FireEye in Dresden.

top accounts reputation activity subscriptions
Top Questions
Top Answers
40
Approaching Type theory and Category Theory as a starting point in the study of mathematics?
math.stackexchange.com

23
In category theory: What is a fibration and why should I care about them?
math.stackexchange.com

19
Is every submodule of a projective module projective?
math.stackexchange.com

17
Is $\mathbb Z[[X]]\otimes \mathbb Q$ isomorphic to $\mathbb Q[[X]]$?
math.stackexchange.com

16
Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$
math.stackexchange.com

15
Does the category of locally ringed spaces have products?
math.stackexchange.com

14
How to prove tensor product is exact when acted on split short exact sequence?
math.stackexchange.com

13
Why is the category of finitely generated modules over a non-noetherian ring not abelian?
math.stackexchange.com

13
Ring of polynomials as a module over symmetric polynomials
math.stackexchange.com

13
If the cohomology of two objects in the derived category are equal, are the objects isomorphic?
math.stackexchange.com

13
An easy example of a non-constructive proof without an obvious "fix"?
math.stackexchange.com

13
A question about Hom functor in category theory
math.stackexchange.com

12
Is a stably free module always free?
math.stackexchange.com

12
Representations of a quiver and sheaves on P^1
math.stackexchange.com

12
Why can we use flabby sheaves to define cohomology?
math.stackexchange.com

12
Why are Lie algebras "rigid" objects?
math.stackexchange.com

11
How is induction justified in intuitionistic logic?
math.stackexchange.com

10
Understanding Serre-Chevalley relations
math.stackexchange.com

10
If $A$ is a finitely generated $R$-module, is $\operatorname{Hom}_R(A,R)$ finitely generated?
math.stackexchange.com

9
What's a good motivating example for the concept of a slice category?
math.stackexchange.com

9
Classification of chain complexes of free abelian groups
math.stackexchange.com

9
Does $f\otimes \operatorname{Id} = \operatorname{Id}$ imply $f= \operatorname{Id}$?
math.stackexchange.com

9
Something wrong with proof: left adjoint functor preserves projectives
math.stackexchange.com

9
Symmetric and exterior powers of a projective (flat) module are projective (flat)
math.stackexchange.com

9
Determinant of exact sequence
math.stackexchange.com

8
closed point of a locally finite $k$-scheme
math.stackexchange.com

8
A functor that has both left and right adjoints
math.stackexchange.com

8
Weibel 1.4.1: Show that acyclic bounded below chain complexes of free R-modules are always split exact.
math.stackexchange.com

8
Diffeomorphism between the Grassmannian manifolds $\mathbf{Gr}(n,k)$ and $\mathbf{Gr}(n,n-k)$.
math.stackexchange.com

7
The Zariski density for two given sets.
math.stackexchange.com

1 2 3