(Q6047782)
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Internal category
- kowiki 내적 범주
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)
No description defined