3,126 reputation
1833
bio website jakitoimgeisterhaus.blogspot.…
location Munich, Germany
age 38
visits member for 3 years
seen 32 mins ago

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

I recently investigated hierarchical structures, starting from group cohomology, continuing with semi-group theory and ending with lattices and universal algebra.


Jun
9
revised Is there a (foundational) type theory with the features I'm looking for?
Add a reference to the place where Randall Holmes discusses TST, and to ARD Mathias' papers
Jun
3
revised How do I turn a “broken” plot into a smooth curve
propose a way to make the polynomial method more "reproducible, repeatable and programmable"
Jun
1
revised Can the divergence theorem be restricted to flat surfaces?
Talking about surfaces in the plane would be boring
May
19
revised Difference between bound and free variable
tried to incorporate comments by Mauro ALLEGRANZE
May
17
revised Non-i.i.d Empirical Risk Minimization
Mentioning only rejection sampling, but not also the composition method is not good...
May
12
revised A consistent first-order theory whose impredicative second-order variant is inconsistent
Fixed the question, to really ask the intended question. Also incorporated clarification into the question.
May
12
revised A consistent first-order theory whose impredicative second-order variant is inconsistent
edited tags
May
2
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
Tried to nail down what it is about lattice theory that feels wrong to me.
May
1
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
added parentheses to the section about bipartite graphs and Dulmage-Mendelsohn
May
1
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
missed to include the theme of bipartite graph and formal concept analysis
Apr
26
revised Is every “almost” isomorphism an isomorphism?
One of the relations given in the question can be omitted, namely either hfg=1 or fgh=1.
Apr
26
revised Is every “almost” isomorphism an isomorphism?
The given counterexample is false, hence the question was much more complicated than needed...
Apr
16
revised Is a homomorphism expected to be a (structure-preserving) map?
edited tags
Apr
16
revised Is a homomorphism expected to be a (structure-preserving) map?
make it more clear, what I want to know
Apr
11
revised Is the categorical product for projective spaces essentially the tensor product?
removed suggestion that categorical product can't be embedded into smaller dimension, because it is false
Apr
11
revised Is the categorical product for projective spaces essentially the tensor product?
rolled back to a previous revision
Apr
11
revised Is the categorical product for projective spaces essentially the tensor product?
fixed/improved definition of projections, and adjusted rest of text accordingly
Apr
10
revised Is the categorical product for projective spaces essentially the tensor product?
Added a \times at the appropriate place, and clarified the remark about using 0 for the last component.
Apr
10
revised Is the categorical product for projective spaces essentially the tensor product?
added 1 characters in body; edited title
Mar
15
revised Estimate loss of information due to a low rank approximization by SVD
Use different notation for the Frobenius norm and the spectral norm