58

Questions

votes newest views recent

1

7

votes

3

answers

961

views

Is set-induction relatively consistent?

lo.logic constructive set-theory

jun 13 10 at 23:13 Daniel Mehkeri 570●3●8

5

7

votes

1

answer

484

views

Set-theoretic forcing over sites?

ct.category-theory topos-theory set-theory forcing

jan 30 10 at 22:36 François G. Dorais♦ 22.6k●2●48●113

3

7

votes

2

answers

737

views

Can models of set theory contain extra ordinals?

lo.logic set-theory topos-theory boolean-algebras

mar 1 10 at 9:33 Charles Stewart 1,669●8●15

2

7

votes

1

answer

147

views

Induced character for non-injective homomorphisms

rt.representation-theory reference-request characters

mar 1 12 at 8:58 Marc Palm 6,946●7●20

3

7

votes

5

answers

419

views

Dualizable classifying spaces

at.algebraic-topology duality classifying-spaces

mar 6 12 at 11:12 Craig Westerland 1,573●5●12

4

7

votes

2

answers

432

views

Does the classification diagram localize a category with weak equivalences?

infinity-categories simplicial-stuff ct.category-theory at.algebraic-topology

apr 4 12 at 16:18 Chris Schommer-Pries 10.2k●1●17●57

2

7

votes

0

answers

101

views

An explicit description of injective fibrations

at.algebraic-topology model-categories ct.category-theory

nov 20 at 16:16 Mike Shulman 17.2k●20●70

1

7

votes

1

answer

199

views

Boolean non-hypercomplete $(\infty,1)$-toposes

ct.category-theory topos-theory infinity-topos-theory

jan 30 at 15:33 Jacob Lurie 6,259●24●36

1

6

votes

1

answer

248

views

What is a (partial) left adjoint of the Yoneda embedding called?

ct.category-theory colimits

may 17 12 at 20:51 Martin Brandenburg 29.1k●2●45●129

2

6

votes

1

answer

168

views

Smash product of Kan complexes

at.algebraic-topology simplicial-stuff

may 30 at 11:46 Tyler Lawson 18.7k●2●44●90