Skip to main content
MathOverflow
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 10 years, 6 months
  • Last seen this week
Profile Activity

Stats

1,081
reputation
18k
reached
7
answers
9
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.
6
silver badges
16
bronze badges

Top tags

View all tags
21
Score
13
Posts
81
Posts %
8
Score
4
Posts
25
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %

Top posts

View all questions and answers
11
Profunctorial Grothendieck Construction?
Aug 3, 2016
9
Generalized (co)-presheaves for Generalized Multicategories?
Aug 9, 2017
8
Relationship between synthetic differential geometry and differential cohesion?
Aug 24, 2017
8
Why does mathematics seem to have a polarity bias?
Jan 8, 2024
8
Morphisms in the category of elements
May 10, 2024
7
Cauchy completeness in ordered families of equivalences, constructively
Dec 10, 2025
6
Strictness of two operations on proarrow equipments
May 17, 2022
6
Day Convolution of Sheaves
Sep 24, 2024
5
In HoTT with LEM, are sets and pointed sets the same thing?
Feb 21, 2024
5
Categories that admit all products but not all coproducts
Mar 9, 2024

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"?