Item:Q1440: Difference between revisions
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 | |||