Mike Shulman

3,629
Reputation
516 views
Is this your account?

Registered User 

Name Mike Shulman
Member for 5 months
Seen yesterday
Website
Location Chicago, IL
Age 29
I am an L.E. Dickson instructor at the University of Chicago. My research is in category theory, higher category theory, and homotopy theory.
11

Questions
votes newest views recent
star
2
11
votes
1
answer
204
views

Logical endofunctors of Set?

dec 9 at 1:36 Joel David Hamkins 9,621●14●53

star
2
10
votes
2
answers
163
views

When does collection imply replacement?

jan 22 at 2:57 Joel David Hamkins 9,621●14●53

star
3

star
2
8
votes
3
answers
340
views

A rigid type of structure that can be put on every set?

feb 1 at 15:36 Mike Shulman 3,629●1●15

 

star
3
6
votes
2
answers
282
views

Intuitionistic Lowenheim-Skolem?

feb 26 at 9:43 Charles Stewart 739●1●10

star
1

 
5
votes
2
answers
204
views

Recursively dependent types?

jan 1 at 14:07 Paul Taylor 171●2

star
2
5
votes
1
answer
205
views

Sites which are stacks over themselves

dec 24 at 8:06 Anton Geraschenko♦♦ 5,378●1●12●43

star
1
4
votes
2
answers
241
views

Is set-induction relatively consistent?

feb 26 at 14:02 François G. Dorais 3,480●7●22

1 2 next

 

58

Answers
votes newest views recent
22
Can skeleta simplify category theory?
14
Where are some interesting places where the axiom of choice crops up in category theory?
10
How can category theory help my research in set theory?
10
Why does non-abelian group cohomology exist?
9
Set theory for category theory beginners
8
Yoneda embedding target
8
(∞, 1)-categorical description of equivariant homotopy theory
8
References for homotopy colimit
8
Lax Functors and Equivalence of Bicategories?
8
Standard name of “atomic morphisms”?
7
Where does the “easy” definition of a weak n-category fail?
7
Definition of homotopy limits
6
Are all coproducts of 1 in a topos distinct ?
6
Why aren’t all small categories accessible?
6
Definition of sheaves in wikipedia
5
Is there a relationship between model theory and category theory?
5
Several Topos theory questions
5
Is there a category of non-well-founded sets?
5
Serre spectral sequence with spectra
5
General construction for internal hom in a presheaf category
5
Why are spectral sequences so ubiquitous?
4
Model category structure on Set without axiom of choice
4
projections of finitely presented groups
4
Is every left fibration of simplicial sets with nonempty fibers a trivial kan fibration?
4
How to distinguish between natural and unnatural equivalences of categories
4
Are bicategories of lax functors also bicategories of of pseudofunctors?
4
Model category structures on categories of complexes in abelian categories
4
Motivation for coherence axioms
4
“Philosophical” meaning of the Yoneda Lemma
4
What are the ‘standard’ applications of the duals of the adjoint functor theorems?
1 2 next

 

125

Votes
up119down
up6down

 

49

Tags
× 51
× 13
× 11
× 10
× 9
× 7
× 4
× 4
× 4
× 4
 × 3
× 3
× 3
× 3
× 3
× 2
× 2
× 2
× 2
× 2




























 

16

Badges
● Nice Answer× 4
● Organizer
● Nice Question× 2
 ● Enthusiast
● Critic
● Editor
 ● Scholar
● Commentator
● Autobiographer
 ● Student
● Supporter
● Teacher