52

Answers
votes newest views recent
4
Fiction books about mathematicians?
7
Is there a nice application of category theory to functional/complex/harmonic analysis?
16
The main theorems of category theory and their applications (2)
6
Any example of a non-strong monad?
9
Why does Hom need an identity in the definition of the category?
7
A slick definition of the Kan extension?
5
Relation between monads, operads and algebraic theories
5
conditional equality symbol
5
Monad arising from operad
3
Adjunctions form a stack
4
Ends and coends as Kan extensions (without using the subdivision category of Mac Lane)?
2
Lattice of subcategories: subobject classifier in Cat
2
Condition of possibility = Co-Implication
14
morita equivalence for categories
6
The effective topos - by Hyland
2
Monomorphisms in functor categories
8
Limits in functor categories
8
Eilenberg–Moore algebras in terms of Kleisli ones
1
Is there a tricategory of bicategories and biprofunctors?
4
An explicit description of Lawvere’s segment in the category of simplicial sets
2
Is there a notion of congruence relation for essentially algebraic structures?
3
Computing colimits in a Lawvere theory
2
Terminology: lax vs. oplax colimits
10
The urge to combine 1- and 2-morphisms in slicing a 2-category.
1
Strong colimits of categories.
3
a “self-dual” adjunction
3
Codomain fibration.
5
What fails when using call/cc as realizer of the Peirce formula
1
Categorical Brouwer-Heyting-Kolmogorov interpretation
3
When does the 2-category V-Cat have pseudo-pullbacks?
1 2 next