Newbetuts
.
New posts in hom-functor
Definition of the cotensor in sSet
algebraic-topology
category-theory
functors
hom-functor
Proof verification: Yoneda preserves limits
category-theory
yoneda-lemma
hom-functor
How do you derive the adjoint's "naturality" condition as seen in MacLane & Moerdijk's book "Sheaves in Geometry and Logic"?
category-theory
proof-explanation
topos-theory
adjoint-functors
hom-functor
Prev