User Wolfgang Jeltsch - MathOverflow Meta

Wolfgang Jeltsch

Member for 12 years, 4 months
Last seen more than 1 year ago

wolfgang.jeltsch.info
Tallinn, Estonia

Stats

951

reputation

0

reached

0

answers

0

questions

Loading…

Communities

About

I’m passionate about functional programming, logic, type theory, category theory, and more.

Badges

View all badges

This user doesn’t have any gold badges yet.

4

silver badges

Yearling

× 4

Mar 29, 2022

1

bronze badge

Autobiographer

Sep 24, 2014

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

29

Shorthand way for assigning a single field in a record, while copying the rest of the fields?

23

Why choose LuaLaTeX over XeLaTeX?

18

How can I share my screen with Skype for Linux 5.3?

17

How can I make highlighting commands in .vimrc take effect immediately with Vim 7.4?

9

Pushouts in the category of adjunctions