Co-founder and lead of the software department at enffi (www.enffi.de).
Also: I'm doing PhD research loosely associated to the University of Dresden.
Research wise, my main interest at the moment is the connection between programming languages, databases and higher category theory.
Top Network Posts
- 33Enriched Categories: Ideals/Submodules and algebraic geometry
- 14Objects which can't be defined without making choices but which end up independent of the choice
- 12Cartesian envelope of a symmetric monoidal category
- 10Is there a monad on Set whose algebras are Tychonoff spaces?
- 10In the category of sets epimorphisms are surjective - Constructive Proof?
- 10Presheaves as limits of representable functors?
- 9Sheaves as full reflective subcategories
- View more network posts →