User Reid Barton

6 votes

Accepted

Can natural section/retraction be checked pointwise?

answered Nov 22, 2018 at 14:53

6 votes

Cartesian product of small objects

answered Aug 1, 2018 at 20:22

6 votes

Accepted

What's the terminology for a sequent-like variant of category?

answered Sep 4, 2021 at 17:30

6 votes

Left Kan extension that preserves colimit

answered Jun 10, 2020 at 13:42

6 votes

Accepted

Inducing a model structure using a cosimplicial object

answered Nov 25, 2020 at 3:58

6 votes

Accepted

A few questions while reading Higher Topos Theory

answered Apr 5, 2019 at 4:31

6 votes

The ants-on-a-ball problem

answered Oct 24, 2009 at 22:50

6 votes

Categories which are not compactly generated

answered Nov 11, 2009 at 1:44

6 votes

Number of paths equal less than equal to a certain length

answered Nov 9, 2009 at 17:58

6 votes

Accepted

Software for rigorous optimization of real polynomials

answered Oct 21, 2009 at 1:01

6 votes

Accepted

Computation of Joins of Simplicial Sets

answered Dec 1, 2009 at 0:18

6 votes

Accepted

Simplicial Sheaves?

answered Nov 23, 2009 at 6:01

6 votes

nontrivial isomorphisms of categories

answered Feb 4, 2010 at 0:41

6 votes

Iterated adjoint functors

answered Dec 27, 2009 at 5:05

6 votes

completion of category is idempotent

answered Jan 4, 2010 at 0:00

5 votes

Accepted

Models for, and motivation for, (oo,n)-categories for general n

answered Dec 26, 2009 at 16:52

5 votes

Homological algebra for commutative monoids?

answered Feb 6, 2010 at 16:22

5 votes

Derangements and q-variants

answered Nov 12, 2009 at 20:31

5 votes

Accepted

What are natural transformations in 1-categories?

answered Dec 15, 2009 at 5:24

5 votes

Feasibility of a list of prescribed distances in R^3

answered Dec 4, 2009 at 19:43

5 votes

The core question of topology

answered Oct 17, 2009 at 6:45

5 votes

level sets of multivariate polynomials

answered Nov 8, 2009 at 21:22

5 votes

Bimodules in geometry

answered Oct 22, 2009 at 21:03

5 votes

What is neutral constructive mathematics

answered Sep 20, 2021 at 20:45

5 votes

Accepted

Finitary endofunctors: "Support" of elements of $TM$ where $T:\mathrm{Set}\to\mathrm{Set}$ is finitary

answered May 14, 2021 at 13:14

5 votes

Accepted

Category with domain/codomain relations

answered May 11, 2022 at 16:15

5 votes

Accepted

What functor is adjoint to the tensor product of 2-vector spaces?

answered Apr 14, 2010 at 21:20

5 votes

Accepted

When does adding inverses of morphisms preserve commutativity of a diagram?

answered Apr 16, 2010 at 18:01

5 votes

formalisation of Bourbaki, General Topology

answered Dec 18, 2018 at 20:42

5 votes

Enriched cartesian closed categories

answered Feb 10, 2019 at 6:29

Stack Exchange Network

202 Answers

Can natural section/retraction be checked pointwise?

Cartesian product of small objects

What's the terminology for a sequent-like variant of category?

Left Kan extension that preserves colimit

Inducing a model structure using a cosimplicial object

A few questions while reading Higher Topos Theory

The ants-on-a-ball problem

Categories which are not compactly generated

Number of paths equal less than equal to a certain length

Software for rigorous optimization of real polynomials

Computation of Joins of Simplicial Sets

Simplicial Sheaves?

nontrivial isomorphisms of categories

Iterated adjoint functors

completion of category is idempotent

Models for, and motivation for, (oo,n)-categories for general n

Homological algebra for commutative monoids?

Derangements and q-variants

What are natural transformations in 1-categories?

Feasibility of a list of prescribed distances in R^3

The core question of topology

level sets of multivariate polynomials

Bimodules in geometry

What is neutral constructive mathematics

Finitary endofunctors: "Support" of elements of $TM$ where $T:\mathrm{Set}\to\mathrm{Set}$ is finitary

Category with domain/codomain relations

What functor is adjoint to the tensor product of 2-vector spaces?

When does adding inverses of morphisms preserve commutativity of a diagram?

formalisation of Bourbaki, General Topology

Enriched cartesian closed categories