Mathematics
Ilk's user avatar
Ilk's user avatar
Ilk's user avatar
Ilk
  • Member for 5 years, 6 months
  • Last seen more than a month ago
  • Somewhere
Profile Activity
Stats
282
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Curious about metamathematics and computation

Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
10
Can you build W-types out of natural numbers predicatively?
10
Isbell duality between algebras and sheaves
8
Type theory and fixed points of datatypes
8
When is the Eilenberg-Moore category of a relative monad between two topoi a topos?
7
Strongly normalizing type theory beyond induction-recursion