User Patrick Stevens - Mathematics Stack Exchange

3 votes

2 answers

248 views

$\mathbf{Set} \not \simeq \mathbf{Set}^*$ by considering $\{1, 2 \} \to \{1\}$

asked Aug 25, 2015 at 10:25

3 votes

1 answer

151 views

Discrete posets are projective

asked Sep 10, 2015 at 16:50

3 votes

2 answers

701 views

Poset is complete iff it is cocomplete

asked Oct 1, 2015 at 9:38

2 votes

1 answer

161 views

Separative forcings add new sets

asked Apr 2, 2016 at 9:00

2 votes

0 answers

52 views

Limit of a certain sum

asked May 13, 2016 at 21:02

2 votes

1 answer

247 views

Injective objects in the category of posets

asked Sep 19, 2015 at 14:19

2 votes

0 answers

41 views

Ignoring convergence issues to obtain an integral

asked Sep 23, 2015 at 18:04

2 votes

0 answers

62 views

Generating function whose coefficients are reciprocals of a known g.f.

asked Mar 21, 2017 at 20:24

2 votes

1 answer

152 views

Use of the axiom of choice in a first course in ordinals

asked Aug 18, 2021 at 8:05

1 vote

1 answer

77 views

Functor sometimes acting covariantly, sometimes contravariantly

asked Sep 23, 2015 at 20:31

1 vote

1 answer

454 views

Limit of sequence of abelian groups

asked Sep 27, 2015 at 20:59

1 vote

1 answer

459 views

Discovering the form of exponentials in poset category

asked Sep 30, 2015 at 15:35

1 vote

1 answer

110 views

Unexpectedly small likelihood function

asked Nov 22, 2016 at 12:45

1 vote

0 answers

101 views

How can we tell whether a set of algebras is an Eilenberg-Moore category?

asked Nov 25, 2015 at 22:08

0 votes

1 answer

119 views

Streicher's K axiom but for List

asked May 31, 2019 at 5:49

Stack Exchange Network

15 Questions

$\mathbf{Set} \not \simeq \mathbf{Set}^*$ by considering $\{1, 2 \} \to \{1\}$

Discrete posets are projective

Poset is complete iff it is cocomplete

Separative forcings add new sets

Limit of a certain sum

Injective objects in the category of posets

Ignoring convergence issues to obtain an integral

Generating function whose coefficients are reciprocals of a known g.f.

Use of the axiom of choice in a first course in ordinals

Functor sometimes acting covariantly, sometimes contravariantly

Limit of sequence of abelian groups

Discovering the form of exponentials in poset category

Unexpectedly small likelihood function

How can we tell whether a set of algebras is an Eilenberg-Moore category?

Streicher's K axiom but for List