Jeffery Mensah
about
Hello! I'm Jeffery. This site collects my musings and writings on topics I am generally interested in, such as mathematics, music, or software development.
recent posts
Colimits of presheaves and the density theorem
The goal of this short note is to show how to compute the limit or colimit of a diagram of presheaves, and prove that every presheaf can be written as the colimit of representable...
Interpreting adjoint functors
The notion of an adjunction between categories is a fundamental idea in category theory whose utility is so great that it appears in virtually every field of mathematics. Roughly speaking, an adjunction is...
is symmetric
The functors, which are ubiquitous in algebraic topology and more generally homological algebra, encode the failure of the tensor product to be an exact functor. As a derived functor, one typically defines...