Keywords: CharakterPullbackTopos.png math de Jeder Monomorphismus in einem Elementartopos ist ein Pullback des universellen Monomorphismus true entlang seines eindeutigen Charakters en Every monic arrow in an elementary topos is a pullback of the universal monic true along its unique character own Laeg 2008-07-15 Commutative squares |