User Finn Lawler

27 votes

morita equivalence for categories

answered Jan 15, 2012 at 21:32

21 votes

The main theorems of category theory and their applications

answered Dec 14, 2011 at 22:04

16 votes

Accepted

Limits in functor categories

answered May 7, 2011 at 23:01

15 votes

Accepted

The urge to combine 1- and 2-morphisms in slicing a 2-category.

answered Feb 26, 2010 at 22:31

15 votes

Accepted

Any example of a non-strong monad?

answered Jan 11, 2012 at 21:27

14 votes

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

answered Dec 13, 2011 at 21:21

13 votes

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

answered Jun 15, 2011 at 15:32

12 votes

Accepted

Eilenberg–Moore algebras in terms of Kleisli ones

answered Jun 20, 2010 at 16:19

12 votes

Accepted

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

answered Oct 25, 2011 at 18:50

11 votes

The main theorems of category theory and their applications

answered Dec 14, 2011 at 21:17

11 votes

Accepted

What fails when using call/cc as realizer of the Peirce formula

answered Jan 16, 2011 at 16:38

10 votes

Accepted

A slick definition of the Kan extension?

answered Jul 24, 2010 at 15:16

8 votes

The effective topos - by Hyland

answered Feb 18, 2011 at 20:57

8 votes

Accepted

Monad arising from operad

answered May 28, 2011 at 23:19

8 votes

Accepted

A question on the Grothendieck construction

answered Apr 3, 2014 at 1:14

7 votes

Accepted

2-completeness analog of completeness theorem

answered Oct 12, 2011 at 4:05

7 votes

Relation between monads, operads and algebraic theories

answered Jun 1, 2011 at 23:42

6 votes

Is there a tricategory of bicategories and biprofunctors?

answered May 27, 2011 at 21:59

6 votes

Accepted

conditional equality symbol

answered Apr 7, 2011 at 16:36

5 votes

Accepted

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

answered Feb 25, 2011 at 22:44

5 votes

Accepted

An explicit description of Lawvere's segment in the category of simplicial sets

answered Jun 17, 2010 at 13:22

5 votes

Accepted

internal version of a flat functor?

answered Aug 20, 2010 at 12:00

5 votes

Accepted

In what cases does a Yoneda-like embedding preserve monoidal structure?

answered Aug 20, 2010 at 16:49

5 votes

Ends and coends as Kan extensions (without using the subdivision category of Mac Lane)?

answered Aug 31, 2010 at 20:04

5 votes

Accepted

Automorphisms and Bicategories

answered Oct 23, 2011 at 1:24

5 votes

Monadicity and sheaves.

answered Dec 18, 2011 at 19:19

5 votes

Categorification of coends and ends

answered Sep 4, 2012 at 16:42

4 votes

Kan extensions of pseudofunctors

answered Sep 1, 2015 at 17:59

4 votes

Accepted

Category enriched over a monoidal 2-category

answered Dec 9, 2015 at 0:13

4 votes

Accepted

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

answered Nov 21, 2011 at 16:20

Stack Exchange Network

58 Answers

morita equivalence for categories

The main theorems of category theory and their applications

Limits in functor categories

The urge to combine 1- and 2-morphisms in slicing a 2-category.

Any example of a non-strong monad?

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

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

Eilenberg–Moore algebras in terms of Kleisli ones

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

The main theorems of category theory and their applications

What fails when using call/cc as realizer of the Peirce formula

A slick definition of the Kan extension?

The effective topos - by Hyland

Monad arising from operad

A question on the Grothendieck construction

2-completeness analog of completeness theorem

Relation between monads, operads and algebraic theories

Is there a tricategory of bicategories and biprofunctors?

conditional equality symbol

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

An explicit description of Lawvere's segment in the category of simplicial sets

internal version of a flat functor?

In what cases does a Yoneda-like embedding preserve monoidal structure?

Ends and coends as Kan extensions (without using the subdivision category of Mac Lane)?

Automorphisms and Bicategories

Monadicity and sheaves.

Categorification of coends and ends

Kan extensions of pseudofunctors

Category enriched over a monoidal 2-category

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