User varkor

18 votes

2 answers

1k views

Monoidal categories whose tensor has a left adjoint

asked Jan 3, 2021 at 17:57

17 votes

2 answers

1k views

Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)

asked Aug 14, 2021 at 19:24

16 votes

2 answers

737 views

Original reference for categories of presheaves as free cocompletions of small categories

asked Jul 2, 2021 at 14:58

13 votes

0 answers

213 views

Examples and counterexamples to Lack's coherence observation

asked May 10, 2022 at 8:49

13 votes

1 answer

224 views

Large V-categories admitting the construction of V-presheaves

asked Feb 23 at 19:08

11 votes

1 answer

451 views

Is every petite category essentially small?

asked Jul 2 at 16:29

11 votes

0 answers

442 views

A right adjoint preserves Phi-colimits if and only if the left adjoint does what?

asked Jul 13, 2022 at 11:57

10 votes

0 answers

126 views

V-categories enriched in a monoidal V-category

asked Sep 14, 2022 at 11:06

10 votes

1 answer

333 views

2-monads for categories with a class of (co)limits

asked Sep 22, 2020 at 21:17

9 votes

0 answers

192 views

What is the relationship between free bicompletion and the Isbell envelope?

asked Oct 26, 2020 at 20:14

9 votes

1 answer

304 views

Internal logic of locally strongly finitely presentable categories

asked Feb 9, 2021 at 15:42

9 votes

0 answers

184 views

Michel Thiébaud's thesis ("Self-Dual Structure-Semantics and Algebraic Categories")

asked Mar 3, 2021 at 21:14

9 votes

0 answers

85 views

Reference for the tricategory of elements associated to a trifunctor

asked Jul 11 at 20:31

9 votes

1 answer

351 views

Algebraically-free monadicity theorem

asked Mar 21, 2022 at 20:02

9 votes

0 answers

103 views

Cocompleteness of enriched categories of algebras

asked Dec 16, 2022 at 15:34

9 votes

0 answers

129 views

Is totality a (large) cocompleteness condition?

asked Apr 14, 2023 at 19:02

9 votes

0 answers

103 views

Adjoining a morphism to a finitely complete category

asked Aug 25, 2023 at 10:00

9 votes

2 answers

413 views

Example of two dinatural transformations between finite categories that do not compose

asked Sep 12 at 14:47

8 votes

2 answers

314 views

When is a locally presentable category (locally) cartesian-closed?

asked Oct 23, 2020 at 23:10

8 votes

1 answer

1k views

Why is the theory of small categories not algebraic?

asked Mar 14, 2020 at 20:28

8 votes

0 answers

165 views

Original reference for the Fam construction

asked May 27, 2021 at 20:07

8 votes

1 answer

359 views

Adjunctions with respect to profunctors

asked Oct 28, 2021 at 18:55

7 votes

1 answer

360 views

Strictification for closed monoidal categories

asked Sep 19, 2021 at 14:10

7 votes

2 answers

237 views

Examples of 2-categories with multiple interesting proarrow equipment structures

asked Nov 27, 2021 at 23:48

7 votes

0 answers

191 views

Were algebraic theories and abstract clones defined independently?

asked Jul 1, 2021 at 13:07

7 votes

0 answers

205 views

Examples of nonpointwise Kan extensions that "play a mathematical role"

asked Feb 10, 2022 at 12:55

7 votes

3 answers

403 views

Yves Diers's thesis ("Catégories localisables")

asked Mar 9, 2021 at 2:21

7 votes

1 answer

697 views

Finite coproducts commute with which limits in Set?

asked Jul 9, 2021 at 20:44

7 votes

0 answers

161 views

Coherence for pseudomonads and their pseudoalgebras

asked Jul 28, 2020 at 11:36

7 votes

1 answer

563 views

Characterisation of essentially algebraic theories as monads

asked Feb 21, 2020 at 18:03

Stack Exchange Network

61 Questions

Monoidal categories whose tensor has a left adjoint

Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)

Original reference for categories of presheaves as free cocompletions of small categories

Examples and counterexamples to Lack's coherence observation

Large V-categories admitting the construction of V-presheaves

Is every petite category essentially small?

A right adjoint preserves Phi-colimits if and only if the left adjoint does what?

V-categories enriched in a monoidal V-category

2-monads for categories with a class of (co)limits

What is the relationship between free bicompletion and the Isbell envelope?

Internal logic of locally strongly finitely presentable categories

Michel Thiébaud's thesis ("Self-Dual Structure-Semantics and Algebraic Categories")

Reference for the tricategory of elements associated to a trifunctor

Algebraically-free monadicity theorem

Cocompleteness of enriched categories of algebras

Is totality a (large) cocompleteness condition?

Adjoining a morphism to a finitely complete category

Example of two dinatural transformations between finite categories that do not compose

When is a locally presentable category (locally) cartesian-closed?

Why is the theory of small categories not algebraic?

Original reference for the Fam construction

Adjunctions with respect to profunctors

Strictification for closed monoidal categories

Examples of 2-categories with multiple interesting proarrow equipment structures

Were algebraic theories and abstract clones defined independently?

Examples of nonpointwise Kan extensions that "play a mathematical role"

Yves Diers's thesis ("Catégories localisables")

Finite coproducts commute with which limits in Set?

Coherence for pseudomonads and their pseudoalgebras

Characterisation of essentially algebraic theories as monads