User varkor

7 votes

3 answers

466 views

Prof and the completion of Cat under right adjoints

asked Mar 3, 2021 at 20:48

7 votes

1 answer

80 views

A syntactic characterisation of morphisms of algebraic theories whose induced algebraic functors admit right adjoints

asked Dec 11 at 16:58

7 votes

2 answers

644 views

Existence of nontrivial categories in which every object is atomic

asked Apr 27, 2022 at 10:38

7 votes

1 answer

216 views

Free idempotent monad associated to a monad

asked Nov 2, 2022 at 11:58

6 votes

0 answers

98 views

Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad

asked Feb 27 at 16:14

6 votes

0 answers

78 views

A distributor between categories induces a distributor between their categories of presheaves

asked Apr 29 at 14:35

6 votes

0 answers

99 views

Is the symmetry compatibility condition in Fox's theorem necessary?

asked May 17 at 21:59

6 votes

0 answers

89 views

Regarding a coend calculation in "Pullback preserving functors"

asked Aug 21 at 15:23

6 votes

0 answers

139 views

Characterisation of essentially algebraic theories with a fixed set of sorts

asked Feb 3, 2021 at 23:46

6 votes

0 answers

125 views

Original reference for the correspondence between commutative algebraic theories and commutative monads

asked Nov 28, 2021 at 17:16

5 votes

1 answer

313 views

Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?

asked Nov 6, 2021 at 0:19

5 votes

1 answer

133 views

Adjoining extensions in bicategories

asked Sep 19, 2021 at 11:29

5 votes

0 answers

89 views

Free cocompletion of a 2-category under pseudo colimits, lax colimits, and colax colimits

asked Jun 19 at 15:55

5 votes

1 answer

299 views

3-functoriality of the lax Gray tensor product

asked Nov 28, 2023 at 15:51

4 votes

0 answers

63 views

Bicategories in which the composition functors $\circ_{A, B, C}$ admit right adjoints

asked Dec 4 at 10:11

4 votes

1 answer

218 views

Monads and modules, and the bicompletion under Kleisli and Eilenberg–Moore objects

asked Mar 4, 2021 at 22:36

4 votes

0 answers

95 views

Coherence for closed bicategories

asked Feb 25, 2021 at 13:35

3 votes

0 answers

70 views

Lax algebras for pseudomonads and monads in Kleisli bicategories for the induced pseudocomonad

asked Apr 16, 2021 at 12:12

3 votes

1 answer

145 views

Examples of (co)lax idempotent pseudocomonads on Cat

asked May 28, 2021 at 13:12

3 votes

0 answers

109 views

Density with respect to a family of diagrams, versus a class of weights

asked Jun 4, 2021 at 14:32

3 votes

1 answer

211 views

Characterisation of functors whose left adjoint is Kleisli

asked Sep 28, 2021 at 15:08

3 votes

0 answers

49 views

Lax morphism classifiers via lax-idempotentification

asked Sep 14 at 9:56

3 votes

0 answers

40 views

When does a lax monad morphism induce a functor between categories of algebras that preserves reflexive coequalisers?

asked 2 days ago

3 votes

0 answers

55 views

Universal property of 2-presheaves and pseudo/lax/colax natural transformations

asked Jun 19 at 16:14

3 votes

0 answers

92 views

Reference for the monoidal category structure $X \otimes Y = X + Y + X \times Y$ on a distributive category

asked Aug 19 at 14:11

2 votes

2 answers

137 views

If a monad in a 2-category admits a terminal resolution, does it admit an Eilenberg–Moore object?

asked Jul 25, 2022 at 15:45

2 votes

0 answers

26 views

Reference for the biequivalence between the bicategory of distributors and the bicategory of two-sided discrete fibrations

asked Nov 8 at 16:28

2 votes

0 answers

92 views

Coslices of $\mathbb D$-presentable categories

asked Jan 27, 2021 at 23:24

2 votes

1 answer

114 views

Characterisation of presentations for varietal large equational theories

asked Sep 6, 2020 at 13:03

2 votes

1 answer

215 views

When is a finitary functor induced by Ind (co)continuous

asked Sep 12, 2020 at 17:58

Stack Exchange Network

61 Questions

Prof and the completion of Cat under right adjoints

A syntactic characterisation of morphisms of algebraic theories whose induced algebraic functors admit right adjoints

Existence of nontrivial categories in which every object is atomic

Free idempotent monad associated to a monad

Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad

A distributor between categories induces a distributor between their categories of presheaves

Is the symmetry compatibility condition in Fox's theorem necessary?

Regarding a coend calculation in "Pullback preserving functors"

Characterisation of essentially algebraic theories with a fixed set of sorts

Original reference for the correspondence between commutative algebraic theories and commutative monads

Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?

Adjoining extensions in bicategories

Free cocompletion of a 2-category under pseudo colimits, lax colimits, and colax colimits

3-functoriality of the lax Gray tensor product

Bicategories in which the composition functors $\circ_{A, B, C}$ admit right adjoints

Monads and modules, and the bicompletion under Kleisli and Eilenberg–Moore objects

Coherence for closed bicategories

Lax algebras for pseudomonads and monads in Kleisli bicategories for the induced pseudocomonad

Examples of (co)lax idempotent pseudocomonads on Cat

Density with respect to a family of diagrams, versus a class of weights

Characterisation of functors whose left adjoint is Kleisli

Lax morphism classifiers via lax-idempotentification

When does a lax monad morphism induce a functor between categories of algebras that preserves reflexive coequalisers?

Universal property of 2-presheaves and pseudo/lax/colax natural transformations

Reference for the monoidal category structure $X \otimes Y = X + Y + X \times Y$ on a distributive category

If a monad in a 2-category admits a terminal resolution, does it admit an Eilenberg–Moore object?

Reference for the biequivalence between the bicategory of distributors and the bicategory of two-sided discrete fibrations

Coslices of $\mathbb D$-presentable categories

Characterisation of presentations for varietal large equational theories

When is a finitary functor induced by Ind (co)continuous