Skip to main content
MathOverflow
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 9 years, 1 month
  • Last seen this week
Profile Activity
Stats
989
reputation
15k
reached
7
answers
8
questions
Communities
View all
About

Assistant Professor in Computer Science & Engineering at University of Michigan. Research on programming language design and semantics.

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
15
bronze badges
Top tags
View all tags
21
Score
13
Posts
87
Posts %
8
Score
4
Posts
27
Posts %
8
Score
1
Posts
7
Posts %
8
Score
1
Posts
7
Posts %
8
Score
1
Posts
7
Posts %
8
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
question
10
Profunctorial Grothendieck Construction?
Aug 3, 2016
question
9
Generalized (co)-presheaves for Generalized Multicategories?
Aug 9, 2017
answer
8
Relationship between synthetic differential geometry and differential cohesion?
Aug 24, 2017
answer
8
Why does mathematics seem to have a polarity bias?
Jan 8
answer
8
Morphisms in the category of elements
May 10
question
6
Strictness of two operations on proarrow equipments
May 17, 2022
question
6
Day Convolution of Sheaves
Sep 24
answer
5
In HoTT with LEM, are sets and pointed sets the same thing?
Feb 21
answer
5
Categories that admit all products but not all coproducts
Mar 9
question
4
Categories where every Mono Splits
May 16, 2016
Top network posts
View all network posts
17
Using Dependent Type Theory for Categories that are not LCCC
15
Logical Reations for an Impredicative System in a Predicative MetaTheory
13
Why Reflexive Graphs for Parametricity?
12
Implementing "Internal" Languages
10
How "generic" are "generic proof assistants"?