Pages that link to "Definition:Metacategory"
Jump to navigation
Jump to search
The following pages link to Definition:Metacategory:
Displayed 50 items.
- Identity Mapping is Left Identity (← links)
- Product Category is Category (← links)
- Category of Sets is Category (← links)
- Category of Finite Sets is Category (← links)
- Category of Ordered Sets is Category (← links)
- Category of Relations is Category (← links)
- Composite Functor is Functor (← links)
- Identity Functor is Functor (← links)
- Category of Categories is Category (← links)
- Identity Functor is Left Identity (← links)
- Identity Functor is Right Identity (← links)
- Composition of Functors is Associative (← links)
- Preorder Category is Category (← links)
- Category of Monoids is Category (← links)
- Slice Category is Category (← links)
- Monoid Category is Category (← links)
- Dual Category is Category (← links)
- Isomorphism (Category Theory) is Monic (← links)
- Isomorphism (Category Theory) is Epic (← links)
- Split Epimorphism is Epic (← links)
- Split Monomorphism is Monic (← links)
- Epimorphism into Projective Object Splits (← links)
- Initial Object is Unique (← links)
- Terminal Object is Unique (← links)
- Identity Morphism is Terminal Object in Slice Category (← links)
- Identity Morphism is Initial Object in Coslice Category (← links)
- Product (Category Theory) is Unique (← links)
- Product Functor is Functor (← links)
- Identity Morphism of Product (← links)
- Product of Composite Morphisms (← links)
- Inverse Morphism is Unique (← links)
- Characterization of Metacategory via Equations (← links)
- Morphisms-Only Metacategory Induces Metacategory (← links)
- Metacategory Induces Morphisms-Only Metacategory (← links)
- Duality Principle (Category Theory)/Formal Duality (← links)
- Duality Principle (Category Theory) (← links)
- Duality Principle (Category Theory)/Conceptual Duality (← links)
- Category of Vector Spaces is Category (← links)
- Equalizer is Monomorphism (← links)
- Category of Pointed Sets is Category (← links)
- Coequalizer is Epimorphism (← links)
- Category of Subobjects is Category (← links)
- Category of Subobjects is Preorder Category (← links)
- Equivalence of Subobjects is Equivalence (← links)
- Equivalent Subobjects have Isomorphic Domains (← links)
- Morphism Class Equivalence is Equivalence (← links)
- Category of Subobject Classes is Category (← links)
- Category of Subobject Classes is Order Category (← links)
- Local Membership of Equalizer (← links)
- Pullback as Equalizer (← links)