Pages that link to "Book:Steve Awodey/Category Theory/Second Edition"

What links here

Page:  Namespace:  all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk  Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Book:Steve Awodey/Category Theory/Second Edition:

Displayed 50 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Fundamental Theorem on Equivalence Relations ‎ (← links)
• Identity Mapping is Left Identity ‎ (← links)
• Composition of Mappings is Associative ‎ (← links)
• Strictly Positive Rational Numbers under Multiplication form Countably Infinite Abelian Group ‎ (← links)
• Identity Mapping is Right Identity ‎ (← links)
• Cartesian Product is Set Product ‎ (← links)
• Category of Ordered Sets is Category ‎ (← links)
• Category of Relations is Category ‎ (← links)
• Functor between Order Categories ‎ (← links)
• Discrete Category on Set is Discrete Category ‎ (← links)
• Discrete Category is Order Category ‎ (← links)
• Functor between Monoid Categories ‎ (← links)
• Cayley's Representation Theorem/General Case ‎ (← links)
• Cayley's Theorem (Category Theory) ‎ (← links)
• Slice Category of Order Category ‎ (← links)
• Category of Pointed Sets as Coslice Category ‎ (← links)
• Kleene Closure is Monoid ‎ (← links)
• Kleene Closure is Free Monoid ‎ (← links)
• Free Monoid is Unique ‎ (← links)
• Graph Functor is Functor ‎ (← links)
• Inverse Relation Functor is Contravariant Functor ‎ (← links)
• Injection iff Monomorphism in Category of Sets ‎ (← links)
• Morphism in Preorder Category is Monic ‎ (← links)
• Morphism in Preorder Category is Epic ‎ (← links)
• Surjection iff Epimorphism in Category of Sets ‎ (← links)
• Inclusion of Natural Numbers in Integers is Epimorphism ‎ (← 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)
• Empty Set is Initial Object ‎ (← links)
• Singleton is Terminal Object of Category of Sets ‎ (← links)
• Zero (Category) is Initial Object ‎ (← links)
• One (Category) is Terminal Object ‎ (← links)
• Trivial Group is Initial Object ‎ (← links)
• Trivial Group is Terminal Object of Category of Groups ‎ (← links)
• Smallest Element is Initial Object ‎ (← links)
• Greatest Element is Terminal Object ‎ (← links)
• Identity Morphism is Terminal Object in Slice Category ‎ (← links)
• Identity Morphism is Initial Object in Coslice Category ‎ (← links)
• Category of Ordered Sets has Enough Constants ‎ (← links)
• Unique Constant in Category of Monoids ‎ (← links)
• Product (Category Theory) is Unique ‎ (← links)
• Group Direct Product is Product in Category of Groups ‎ (← links)
• Product Category is Product in Category of Categories ‎ (← links)
• Infimum is Product in Order Category ‎ (← links)
• Covariant Hom Functor is Functor ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)