Spahn couniversal mapping property 1 (Rev #1)

Let F:XCF:X\to C be a functor between categories. An object xXx\in X is called to satisfy a universal mapping property with respect to FF and a morphism f:aF(x)f:a\to F(x) if for any yXy\in X and any morphism ϕ:aG(y)\phi:a\to G(y) there is a morphism ψ:xy\psi:x\to y such that

a f F(x) ϕ G(ψ) G(y)\array{ a&\stackrel{f}{\mapsto}&F(x) \\ &\searrow^\phi&\downarrow^{G(\psi)} \\ &&G(y) }

commutes.

Revision on June 23, 2012 at 12:16:59 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.