User Finn Lawler

4 votes

Computing colimits in a Lawvere theory

answered Aug 15, 2010 at 2:00

4 votes

Positive & Negative Arity

answered Feb 20, 2011 at 17:42

4 votes

Adjunctions form a stack

answered Jun 25, 2011 at 22:16

4 votes

a “self-dual” adjunction

answered Jul 14, 2011 at 19:24

3 votes

Accepted

Strong colimits of categories.

answered Nov 29, 2010 at 15:53

3 votes

When does the 2-category V-Cat have pseudo-pullbacks?

answered Dec 5, 2010 at 16:42

3 votes

Accepted

Need a reference for cones and limits that does this...

answered Jun 18, 2010 at 22:10

3 votes

Terminology: lax vs. oplax colimits

answered Mar 2, 2010 at 23:46

3 votes

Lattice of subcategories: subobject classifier in Cat

answered Jun 20, 2010 at 19:47

3 votes

Accepted

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

answered Nov 2, 2011 at 12:13

3 votes

Codomain fibration.

answered Jan 10, 2012 at 18:14

3 votes

Fiction books about mathematicians?

answered Jul 8, 2012 at 19:48

2 votes

Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text

answered Jul 2, 2014 at 16:45

2 votes

Accepted

Functor generalisation

answered Mar 13, 2015 at 20:53

2 votes

Categorical Brouwer-Heyting-Kolmogorov interpretation

answered Nov 30, 2011 at 0:41

2 votes

Is there a notion of congruence relation for essentially algebraic structures?

answered Aug 12, 2010 at 16:40

2 votes

Accepted

Lax universality for lax limits

answered Nov 1, 2010 at 20:57

2 votes

Monomorphisms in functor categories

answered Jan 10, 2011 at 13:53

2 votes

Possible semantics for categorical co-constness

answered Mar 5, 2011 at 16:55

2 votes

Condition of possibility = Co-Implication

answered Mar 30, 2011 at 14:30

2 votes

compact elements and continuous functors

answered Apr 8, 2011 at 1:36

2 votes

Name of "slice" category with 2-cells as morphisms ?

answered Jun 24, 2011 at 15:23

2 votes

Reference Request: Lax Ends

answered Jun 6, 2011 at 22:00

1 vote

Double Direct Systems and Switching of Direct Limits

answered Nov 3, 2010 at 20:42

1 vote

Are fibrations coreflective in a 2-category?

answered Oct 27, 2010 at 14:23

1 vote

Controlling Reflective Subcategories and Localizations

answered Nov 15, 2010 at 0:58

0 votes

Is there a sensible way to enrich over SymMonCat such that id_X is not the monoidal unit?

answered Nov 9, 2010 at 15:58

0 votes

A better way to compute the mapping spaces of the category of spans in an enriched tensored category?

answered Aug 4, 2010 at 23:49

Stack Exchange Network

58 Answers

Computing colimits in a Lawvere theory

Positive & Negative Arity

Adjunctions form a stack

a “self-dual” adjunction

Strong colimits of categories.

When does the 2-category V-Cat have pseudo-pullbacks?

Need a reference for cones and limits that does this...

Terminology: lax vs. oplax colimits

Lattice of subcategories: subobject classifier in Cat

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

Codomain fibration.

Fiction books about mathematicians?

Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text

Functor generalisation

Categorical Brouwer-Heyting-Kolmogorov interpretation

Is there a notion of congruence relation for essentially algebraic structures?

Lax universality for lax limits

Monomorphisms in functor categories

Possible semantics for categorical co-constness

Condition of possibility = Co-Implication

compact elements and continuous functors

Name of "slice" category with 2-cells as morphisms ?

Reference Request: Lax Ends

Double Direct Systems and Switching of Direct Limits

Are fibrations coreflective in a 2-category?

Controlling Reflective Subcategories and Localizations

Is there a sensible way to enrich over SymMonCat such that id_X is not the monoidal unit?

A better way to compute the mapping spaces of the category of spans in an enriched tensored category?