User:Markus Krötzsch

Currently, I am a student at Dresden University of Technology. My main subjects of interests generally are found in the vicinity of mathematics and computer science. I contributed for some time (about 1 year?) before getting a login in Jan 2004.

Some of my more relevant contributions include (in no particular order):

• Proof theory, which still needs quite some improvements to be acceptable. Any volunteers? Sequent calculus* and the related links are probably my main contribution in this area.
• Category theory, where I restructured part of the material and updated some of the related pages like limit (category theory), adjoint functor, equivalence of categories*.
• Order theory: Lattice, Domain theory*, order theory glossary*, Heyting algebra, Galois connection.
• Ultrametric space*.

Articles marked with * were not present before (or were stubs). Some minor updates I did are also found on pages relating to topology and mathematical logic.

Other non-mathematical articles I edited are:

• Cashew
• Cuisine of Brazil
• ...