Peter LeFanu Lumsdaine

2,645

Reputation

1996 views

Registered User

Name	Peter LeFanu Lumsdaine
Member for	3 years
Seen	yesterday
Website	mathstat.dal.ca/~p.l.lumsdaine
Location	Halifax, Canada
Age	30

math.LO/math.CT, currently of Dalhousie University, Nova Scotia, lately of Carnegie Mellon University, Pittsburgh.

stats recent reputation favorites

votes newest views recent

24

51

votes

3

answers

2k

views

Does linearization of categories reflect isomorphism?

ct.category-theory rt.representation-theory linear-algebra open-problem

feb 12 12 at 3:26 Winfried 141●1●2

4

16

votes

2

answers

558

views

What can be expressed in and proved with the internal logic of a topos?

ct.category-theory topos-theory lo.logic

apr 5 at 17:21 David Spivak 2,891●8●23

10

14

votes

0

answers

484

views

$\infty$-topos and localic $\infty$-groupoids ?

ct.category-theory topos-theory infinity-topos-theory locales infinity-categories

oct 13 at 12:03 Simon Henry 965●3●9

6

13

votes

1

answer

862

views

First: upper-star, then: lower-star, finally: lower-shriek

ct.category-theory

sep 12 10 at 0:25 Todd Trimble 22.3k●1●62●96

11

9

votes

5

answers

1k

views

What is the intuition behind the Freudenthal suspension theorem

at.algebraic-topology gt.geometric-topology

jan 7 12 at 22:24 Ronnie Brown 5,217●17●20

4

8

votes

4

answers

496

views

Simplicial Model of Hopf Map?

at.algebraic-topology homotopy-theory simplicial-stuff hopf-fibration

oct 28 09 at 17:48 Benjamin Antieau 2,336●9●18

3

7

votes

1

answer

555

views

Hopf fibration inside the retraction of R^4 minus line -> S^2?

at.algebraic-topology hopf-fibration homotopy-theory

may 10 at 11:14 Daniele Zuddas 808●2●9

4

3

votes

1

answer

278

views

Monoidal closed structure(s) on the category “bicategories, with strict functors”?

ct.category-theory higher-category-theory

apr 23 10 at 17:33 Mike Shulman 17.2k●20●70