Georg Scheffers

In mathematics, more specifically in category theory - especially in internal category theory - an internal category in a category $C$ with pullbacks consists of the following data: two $C$-objects $C_{0},C_{1}$ named "object of objects" and "object of morphisms" respectively and four $C$-arrows $d_{0},d_{1}:C_{1}\rightarrow C_{0},e:C_{0}\rightarrow C_{1},m:C_{1}\times _{C_{0}}C_{1}\rightarrow C_{1}$ subject to coherence conditions expressing the axioms of category theory.

See also

• Enriched category

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• Template:Nlab