internal category (Q6047782)
Jump to navigation
Jump to search
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)
Language | Label | Description | Also known as |
---|---|---|---|
English | 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) |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Internal category
- kowiki 내적 범주