101

Questions

votes newest views recent

1

2

votes

1

answer

210

views

Induced pretopologies on sSet

gn.general-topology simplicial-stuff grothendieck-topology topos-theory ct.category-theory

may 19 11 at 14:12 David Carchedi 7,747●10●27

1

2

votes

4

answers

470

views

On locally convex (and compactly generated) topological vector spaces

topological-vector-spaces gn.general-topology ct.category-theory

oct 20 at 11:04 jbc 1,353●2●4

1

2

votes

0

answers

58

views

finite limit sketches with specified maps

ct.category-theory sketches

oct 27 10 at 23:56 David Roberts 11.7k●2●18●55

2

votes

1

answer

185

views

Can we define geometric morphisms (between ETCS categories) elementarily?

ct.category-theory etcs set-theory lo.logic

oct 20 10 at 1:37 Peter LeFanu Lumsdaine 2,645●8●19

2

votes

2

answers

413

views

Do affine schemes form a Mal’cev category?

schemes ct.category-theory malcev

oct 28 11 at 13:00 Dmitry Roytenberg 218●1●6

2

votes

0

answers

171

views

Induced groupoid schemes

ag.algebraic-geometry schemes

nov 29 10 at 1:24 David Roberts 11.7k●2●18●55

2

votes

2

answers

315

views

When does the 2-category V-Cat have pseudo-pullbacks?

ct.category-theory enriched-category-theory

dec 6 10 at 6:52 Steve Lack 1,749●7●11

2

2

votes

1

answer

281

views

internal version of a flat functor?

ct.category-theory topos-theory internal-categories

aug 20 10 at 12:00 Finn Lawler 2,361●1●5●11

1

2

votes

2

answers

193

views

Is a compactly generated Hausdorff space functionally Hausdorff?

gn.general-topology examples

feb 12 at 8:28 jbc 1,353●2●4

2

2

votes

1

answer

315

views

Maps that admit local sections through each ‘point’ in the domain

ct.category-theory ag.algebraic-geometry dg.differential-geometry grothendieck-topology

oct 20 10 at 6:18 Bjørn Kjos-Hanssen 2,468●1●9●18