# internal category

> structure, with properties similar to a (small) category, constructed inside any category with pullbacks; two objects O (objects) and M (morphisms), equipped with arrows s, t: M → O (source/target), e: O → M (identity), m: M ₛ×ₜ M → M (composition)

**Wikidata**: [Q6047782](https://www.wikidata.org/wiki/Q6047782)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Internal_category)  
**Source**: https://4ort.xyz/entity/internal-category