MathOverflow
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 8 years
  • Last seen this week
Profile Activity
Stats
563
reputation
3k
reached
2
answers
7
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.
2
silver badges
12
bronze badges
Top tags
View all tags
7
Score
4
Posts
44
Posts %
7
Score
1
Posts
11
Posts %
7
Score
1
Posts
11
Posts %
7
Score
1
Posts
11
Posts %
1
Score
8
Posts
89
Posts %
1
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
10
Profunctorial Grothendieck Construction?
Aug 3, 2016
question
7
Generalized (co)-presheaves for Generalized Multicategories?
Aug 9, 2017
answer
7
Relationship between synthetic differential geometry and differential cohesion?
Aug 24, 2017
question
5
Strictness of two operations on proarrow equipments
May 17, 2022
question
4
Categories where every Mono Splits
May 16, 2016
question
4
Does the Eilenberg Moore Construction Preserve fibrations?
Dec 29, 2018
question
3
Poset where every Upper Set has a Greatest Element
Nov 29, 2017
question
2
Pullback along a Lax Functor
Nov 10, 2016
answer
1
Do generalizations of adjoint functors, such as adjunctions in 2-categories, and multivariable adjunctions, have formulations in terms of something like universal morphisms?
Oct 30, 2022
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
12
Implementing "Internal" Languages
12
Why Reflexive Graphs for Parametricity?
10
How "generic" are "generic proof assistants"?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.