User varkor

3 votes

Accepted

"Tietze-like transformations" for defining interesting bijections between algebraic structures

answered Aug 29, 2020 at 16:09

3 votes

Accepted

What is known about relative adjunctions?

answered Oct 28, 2021 at 17:59

3 votes

Reference request: (co)limits in Eilenberg--Moore (V-)categories

answered May 20, 2023 at 8:14

3 votes

Rectifying the definition of a closed category

answered Jun 8, 2023 at 20:09

3 votes

$\infty$-ary tensor product on a category

answered Oct 4, 2022 at 20:39

3 votes

Reference for certain categorical limits

answered Dec 11, 2022 at 14:45

2 votes

Accepted

Weighted limits and Kan extension in Dist

answered May 3, 2023 at 6:28

2 votes

The skew monoidal structure induced by a functor

answered Feb 28, 2023 at 13:53

2 votes

Does the nerve have a right adjoint, sometimes?

answered Jun 23, 2023 at 11:37

2 votes

Algebras for products or limits of monads

answered Jul 11, 2023 at 7:41

2 votes

Pseudofunctors of 2-variables and Gray tensor product of bicategories

answered Aug 4, 2023 at 10:19

2 votes

Accepted

Nomenclature help: action vs. module and “pointed” monadic algebras are module objects?

answered Aug 3, 2023 at 7:00

2 votes

Reference request for facts about bi(co)descent objects

answered Aug 4, 2023 at 9:51

2 votes

Prof and the completion of Cat under right adjoints

answered Oct 5, 2021 at 11:23

2 votes

Prof and the completion of Cat under right adjoints

answered Oct 11, 2021 at 23:12

2 votes

Is there lore about how endofunctors of Cat interact with the formation of presheaf categories?

answered Jul 5, 2022 at 13:27

2 votes

Accepted

Lawvere theory of Lawvere theories

answered Jul 6, 2021 at 14:07

2 votes

Accepted

Horizontal categorification: Two questions

answered May 27, 2021 at 23:01

2 votes

About cartesian closed categories of models of a cartesian theory

answered Aug 26, 2020 at 15:19

2 votes

Reflective exponential ideals in presheaf categories

answered Oct 2 at 18:31

2 votes

Accepted

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

answered Jul 2 at 12:59

2 votes

Accepted

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

answered Feb 23 at 0:31

2 votes

Reference for generalized ind-completions?

answered Dec 10, 2023 at 19:33

2 votes

Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

answered Dec 1 at 22:13

2 votes

Synthetic type theory for virtual double category and its higher categories

answered Oct 27 at 19:31

1 vote

Unexpected interaction between limits and colimits

answered Apr 2 at 18:57

1 vote

Transporting monoidal structure along adjunction

answered Apr 20 at 7:57

1 vote

Kan extensions and orthogonality

answered Oct 2 at 18:39

1 vote

Accepted

Coherence laws when composing 2-monads

answered Aug 4, 2023 at 9:57

1 vote

Accepted

Morphism of pseudomonads induces pullback functors between pseudoalgebras

answered Jun 28, 2023 at 20:39

Stack Exchange Network

95 Answers

"Tietze-like transformations" for defining interesting bijections between algebraic structures

What is known about relative adjunctions?

Reference request: (co)limits in Eilenberg--Moore (V-)categories

Rectifying the definition of a closed category

$\infty$-ary tensor product on a category

Reference for certain categorical limits

Weighted limits and Kan extension in Dist

The skew monoidal structure induced by a functor

Does the nerve have a right adjoint, sometimes?

Algebras for products or limits of monads

Pseudofunctors of 2-variables and Gray tensor product of bicategories

Nomenclature help: action vs. module and “pointed” monadic algebras are module objects?

Reference request for facts about bi(co)descent objects

Prof and the completion of Cat under right adjoints

Prof and the completion of Cat under right adjoints

Is there lore about how endofunctors of Cat interact with the formation of presheaf categories?

Lawvere theory of Lawvere theories

Horizontal categorification: Two questions

About cartesian closed categories of models of a cartesian theory

Reflective exponential ideals in presheaf categories

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

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

Reference for generalized ind-completions?

Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

Synthetic type theory for virtual double category and its higher categories

Unexpected interaction between limits and colimits

Transporting monoidal structure along adjunction

Kan extensions and orthogonality

Coherence laws when composing 2-monads

Morphism of pseudomonads induces pullback functors between pseudoalgebras