User David Spivak

10 votes

1 answer

532 views

Is the evaluation of polynomial functors appropriately continuous?

asked Mar 6, 2013 at 21:48

10 votes

3 answers

850 views

Conventional names for finite categories

asked Aug 7, 2012 at 15:15

10 votes

2 answers

393 views

Analogue of Urysohn metrization for Lawvere metric spaces?

asked Aug 31, 2018 at 14:09

10 votes

1 answer

526 views

Which algebraic theories are co-sites?

asked Jul 31, 2016 at 19:01

9 votes

1 answer

242 views

Topos properties from coverage conditions

asked Oct 31, 2017 at 14:12

9 votes

2 answers

865 views

When do functors induce monadic adjunctions to presheaf categories

asked Feb 1, 2012 at 20:18

9 votes

1 answer

359 views

Characterize algebras of the "topological simplices" operad

asked Feb 12 at 17:44

8 votes

1 answer

281 views

Ideals of statements?

asked Apr 28, 2010 at 7:01

8 votes

0 answers

501 views

The span-nerve of a category

asked Jun 18, 2010 at 15:40

8 votes

2 answers

416 views

Quotient-free monoidal categories

asked Jan 1, 2017 at 23:24

7 votes

1 answer

266 views

Can the subobject classifier be covered by an object in a subtopos?

asked Feb 27, 2018 at 14:23

7 votes

1 answer

237 views

Monomorphisms in operad algebras

asked Mar 4, 2016 at 1:43

7 votes

1 answer

350 views

Obtaining Lawvere's "State categories and response functors"

asked Apr 22, 2016 at 13:21

7 votes

3 answers

648 views

Unexpected interaction between limits and colimits

asked Apr 23, 2014 at 20:49

7 votes

1 answer

347 views

Multi-categorical left Kan extensions?

asked Mar 30, 2014 at 23:47

6 votes

1 answer

283 views

Does there exist a terminal surjective discrete fibration out of $C$?

asked Feb 13, 2014 at 21:17

6 votes

2 answers

222 views

Local finality condition (for re-indexing parameterized colimits)

asked Nov 28, 2012 at 15:34

6 votes

0 answers

237 views

When does a morphism of sketches induce an adjunction between their Set-models?

asked Sep 13, 2010 at 15:56

6 votes

1 answer

306 views

Reference request: maps between moduli spaces

asked Apr 27, 2014 at 18:35

6 votes

1 answer

919 views

Geometric interpretation for partial trace?

asked Mar 23, 2015 at 3:06

5 votes

1 answer

219 views

Tell me something about these "component tensor" TQFT's

asked Sep 17, 2016 at 1:30

5 votes

2 answers

405 views

Examples and references for Kan-like extensions?

asked Sep 22, 2016 at 17:42

5 votes

2 answers

3k views

When is the $(F_!,F^*)$ counit a natural isomorphism?

asked Jun 28, 2010 at 21:24

5 votes

2 answers

493 views

A (too?) simple notion of "closed multicategory"

asked Jan 7, 2013 at 16:02

5 votes

2 answers

394 views

When does the direct image functor nicely push past the power/exists functor?

asked Mar 16, 2013 at 22:05

5 votes

3 answers

815 views

It looks so coKleisli, but it's not. What is it?

asked Jan 2, 2014 at 5:35

5 votes

4 answers

570 views

Configuration topos?

asked Oct 28, 2013 at 16:56

5 votes

3 answers

794 views

Are paths in HoTT perhaps just "cost-free" paths?

asked Nov 4, 2013 at 15:01

4 votes

0 answers

181 views

Beck-Chevalley for measures?

asked Apr 9, 2013 at 16:25

4 votes

1 answer

196 views

Does trace handle composition in a traced symmetric monoidal category?

asked Jan 25, 2014 at 4:08

Stack Exchange Network

77 Questions

Is the evaluation of polynomial functors appropriately continuous?

Conventional names for finite categories

Analogue of Urysohn metrization for Lawvere metric spaces?

Which algebraic theories are co-sites?

Topos properties from coverage conditions

When do functors induce monadic adjunctions to presheaf categories

Characterize algebras of the "topological simplices" operad

Ideals of statements?

The span-nerve of a category

Quotient-free monoidal categories

Can the subobject classifier be covered by an object in a subtopos?

Monomorphisms in operad algebras

Obtaining Lawvere's "State categories and response functors"

Unexpected interaction between limits and colimits

Multi-categorical left Kan extensions?

Does there exist a terminal surjective discrete fibration out of $C$?

Local finality condition (for re-indexing parameterized colimits)

When does a morphism of sketches induce an adjunction between their Set-models?

Reference request: maps between moduli spaces

Geometric interpretation for partial trace?

Tell me something about these "component tensor" TQFT's

Examples and references for Kan-like extensions?

When is the $(F_!,F^*)$ counit a natural isomorphism?

A (too?) simple notion of "closed multicategory"

When does the direct image functor nicely push past the power/exists functor?

It looks so coKleisli, but it's not. What is it?

Configuration topos?

Are paths in HoTT perhaps just "cost-free" paths?

Beck-Chevalley for measures?

Does trace handle composition in a traced symmetric monoidal category?