User varkor

7 votes

Enrichment as extra structure on a category

answered Sep 14, 2022 at 14:03

7 votes

Dependent sum/product and the base-change functor adjunctions

answered May 10, 2023 at 12:55

7 votes

Notion of $\kappa$-sifted categories?

answered Jun 30 at 18:33

6 votes

What are the internal adjunctions in the bicategory $\mathsf{Span}$?

answered Nov 27, 2023 at 18:08

6 votes

Accepted

Reference request: Algebras over monoid objects in a monoidal category

answered Dec 3 at 8:29

6 votes

Accepted

What functors between categories of algebras are induced by morphisms of monads on $\mathrm{Set}$?

answered Jun 8, 2023 at 21:15

6 votes

A multicategory is a ... with one object?

answered May 27, 2021 at 22:20

6 votes

Accepted

Kan extensions inside a monoidal category

answered Sep 7, 2021 at 20:26

5 votes

Strongly compact categories (reference request)

answered Jun 1, 2021 at 12:03

5 votes

Is there a "duality involution" on presentable categories?

answered May 3, 2022 at 14:18

5 votes

Accepted

Equivalent parallel pair of $j$-morphisms

answered Jul 16, 2020 at 11:59

5 votes

Is the ultraproduct concept fundamentally category-theoretic?

answered Jun 9, 2023 at 9:03

5 votes

Has the "Lambek embedding" into the category of (co)product-preserving presheaves been studied very much?

answered Jun 18, 2023 at 19:52

5 votes

Accepted

Is this kind of functor $\mathsf{Set}/M×\mathsf{Set}/M\to \mathsf{Set}/M$, with $M$ a monoid, a known construction?

answered Jun 23, 2023 at 9:24

5 votes

Accepted

Literature about the category of finitary monads

answered Apr 30, 2023 at 17:29

5 votes

Internal $2$-categories

answered Dec 17, 2021 at 21:08

4 votes

Accepted

When is an object determined by the number of maps from the other objects?

answered Jul 13, 2022 at 14:47

4 votes

Accepted

Ends and coends – analogues for higher arity – Horn Filling

answered Jul 7, 2022 at 11:29

4 votes

Accepted

Limits and colimits in the category of algebraic theories

answered Jun 9, 2023 at 10:50

4 votes

Accepted

Reference Request: Comprehension for multicategories

answered Nov 13, 2020 at 16:05

4 votes

Profunctors and multicategories

answered Apr 15, 2020 at 19:29

4 votes

Categorical semantics of universe levels in dependent type theory

answered May 6, 2021 at 19:08

4 votes

Pseudo-morphisms in essentially algebraic theories

answered Dec 11 at 18:07

4 votes

Adjoining extensions in bicategories

answered Jan 23 at 15:33

4 votes

Being (co)cartesian as a property (rather than structure) of a plain monoidal category

answered Feb 4 at 18:12

4 votes

Accepted

Adjoints to change of base Functors

answered Sep 11 at 13:14

3 votes

Strictification for closed monoidal categories

answered Sep 25 at 15:29

3 votes

Which categories are injective with respect to fully faithful functors?

answered May 1, 2021 at 13:38

3 votes

Accepted

Characterisation of essentially algebraic theories as monads

answered Feb 26, 2020 at 11:54

3 votes

Accepted

Slice category over Set

answered Jun 18, 2020 at 17:52

Stack Exchange Network

95 Answers

Enrichment as extra structure on a category

Dependent sum/product and the base-change functor adjunctions

Notion of $\kappa$-sifted categories?

What are the internal adjunctions in the bicategory $\mathsf{Span}$?

Reference request: Algebras over monoid objects in a monoidal category

What functors between categories of algebras are induced by morphisms of monads on $\mathrm{Set}$?

A multicategory is a ... with one object?

Kan extensions inside a monoidal category

Strongly compact categories (reference request)

Is there a "duality involution" on presentable categories?

Equivalent parallel pair of $j$-morphisms

Is the ultraproduct concept fundamentally category-theoretic?

Has the "Lambek embedding" into the category of (co)product-preserving presheaves been studied very much?

Is this kind of functor $\mathsf{Set}/M×\mathsf{Set}/M\to \mathsf{Set}/M$, with $M$ a monoid, a known construction?

Literature about the category of finitary monads

Internal $2$-categories

When is an object determined by the number of maps from the other objects?

Ends and coends – analogues for higher arity – Horn Filling

Limits and colimits in the category of algebraic theories

Reference Request: Comprehension for multicategories

Profunctors and multicategories

Categorical semantics of universe levels in dependent type theory

Pseudo-morphisms in essentially algebraic theories

Adjoining extensions in bicategories

Being (co)cartesian as a property (rather than structure) of a plain monoidal category

Adjoints to change of base Functors

Strictification for closed monoidal categories

Which categories are injective with respect to fully faithful functors?

Characterisation of essentially algebraic theories as monads

Slice category over Set