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.

7h
answered The status of 'the consistency of NF relative to ZF'
Jul
24
comment Is MLTT effectively pCiC without Prop?
In my book, MLTT is an (old and established) intuitionistic dependent type theory, while I associate the Calculus of Constructions with the Coq proof assistant. But I may be wrong.
Jul
23
revised What are appropriate isomorphisms between formal languages?
added two very nice references
Jul
22
accepted Is there a general notion of semigroup action?
Jul
21
revised Is there a theory that combines category theory/abstract algebra and computational complexity?
added 776 characters in body
Jul
21
comment Is there a theory that combines category theory/abstract algebra and computational complexity?
I made this a community wiki, because it links to my own answer to my own question, which is certainly not great. I was "cleaning" my favorites, and just writing this short answer was the easiest way to proceed.
Jul
21
answered Is there a theory that combines category theory/abstract algebra and computational complexity?
Jul
18
awarded Custodian
Jul
18
reviewed Reviewed How to draw this 2 processes LTS?
Jul
18
awarded Informed
Jul
16
awarded Necromancer
Jul
16
awarded Nice Question
Jul
16
accepted Is the finite inverse semigroup isomorphism problem GI-complete?
Jul
16
comment Is the finite inverse semigroup isomorphism problem GI-complete?
@HuckBennett Are you really confused, or would you just like to hear my opinion on lattice theory? The name "lattice" is simply unlucky: "G. Birkhoff also introduced the English word “lattice”, which is not the translation of its German equivalent, but was inspired by the image of some Hasse diagrams presenting lattices." The bad reputation of lattice theory might have been avoided by splitting it into algebraic logic, formal concept analysis, and order theory.
Jul
16
awarded Revival
Jul
16
answered Is the finite inverse semigroup isomorphism problem GI-complete?
Jul
15
revised If I have a highly upvoted answer that I realize to be wrong, should I delete it or edit it to be correct?
We are talking about a specific case here, so I might just as well add details of this specific case.
Jul
15
comment If I have a highly upvoted answer that I realize to be wrong, should I delete it or edit it to be correct?
@KyleKanos You forget that not everybody has access to moderator tools. I have no way to see the revision history of a deleted answer on this site.
Jul
15
comment If I have a highly upvoted answer that I realize to be wrong, should I delete it or edit it to be correct?
@KyleKanos The topic of this site has to do with science. How could we ever learn from our mistakes in science, if the expected way to proceed would be to hide mistakes and try to remove any traces they left? To avoid any confusion, I explicitly wrote "especially if it is far from obvious that the answer is wrong", which seem to be the case for the referenced answer.
Jul
15
answered If I have a highly upvoted answer that I realize to be wrong, should I delete it or edit it to be correct?
1 2 3 4 5