52

Answers

votes newest views recent

3

Categorification of coends and ends

4

Fiction books about mathematicians?

14

morita equivalence for categories

6

Any example of a non-strong monad?

3

Codomain fibration.

4

Monadicity and sheaves.

16

The main theorems of category theory and their applications (2)

7

Is there a nice application of category theory to functional/complex/harmonic analysis?

1

Categorical Brouwer-Heyting-Kolmogorov interpretation

4

When is a colimit of a subcollection the same as the overall colimit?

3

Reference Request(Enriched Categories): Metric on Lipschitz Continuous Functions

9

Definition of enriched caterories or internal homs without using monoidal categories.

5

Automorphisms and Bicategories

5

2-completeness analog of completeness theorem

3

a “self-dual” adjunction

3

Adjunctions form a stack

2

Name of “slice” category with 2-cells as morphisms ?

9

Why does Hom need an identity in the definition of the category?

1

Reference Request: Lax Ends

5

Relation between monads, operads and algebraic theories

5

Monad arising from operad

1

Is there a tricategory of bicategories and biprofunctors?

8

Limits in functor categories

2

compact elements and continuous functors

5

conditional equality symbol

2

Condition of possibility = Co-Implication

2

Possible semantics for categorical co-constness

5

Can we exhibit the 2-category of Grothendieck fibrations as a 2 (or 3)-limit?

4

Positive & Negative Arity

6

The effective topos - by Hyland