internal category (Q1440): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: 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 |
Created claim: subclass of (P1): mathematical structure (Q465) |
||
| Property / subclass of | |||
| Property / subclass of: mathematical structure / rank | |||
Normal rank | |||
Latest revision as of 08:12, 31 January 2023
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
| 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 |