Pages that link to "Mathematician:Steven M. Awodey"
Jump to navigation
Jump to search
The following pages link to Mathematician:Steven M. Awodey:
Displayed 3 items.
- Mathematician:Mathematicians/Sorted By Nation/United States (transclusion) (← links)
- Mathematician:Steve Awodey (redirect page) (← links)
- 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)
- Inverse Morphism is Unique (← links)
- Characterization of Metacategory via Equations (← links)
- Category Axioms are Self-Dual (← links)
- Duality Principle (Category Theory)/Formal Duality (← links)
- Duality Principle (Category Theory)/Conceptual Duality (← links)
- Disjoint Union is Coproduct in Category of Sets (← links)
- Coproduct of Free Monoids (← links)
- Topological Sum is Coproduct in Category of Topological Spaces (← links)
- Coproduct of Ordered Sets (← links)
- Supremum is Coproduct in Order Category (← links)
- Equalizer is Monomorphism (← links)
- Coequalizer is Epimorphism (← links)
- Quotient Mapping is Coequalizer (← links)
- Category of Subobjects is Preorder Category (← links)
- Equivalent Subobjects have Isomorphic Domains (← links)
- Subobject Class in Category of Sets (← links)
- Local Membership of Equalizer (← links)
- Pullback as Equalizer (← links)
- Pullback as Equalizer/Corollary (← links)
- Pullback of Subset Inclusion (← links)
- Pullback Lemma (← links)
- Pullback of Commutative Triangle (← links)
- Pullback Functor is Functor (← links)
- Category has Products and Equalizers iff Pullbacks and Terminal Object (← links)
- Binary Product as Limit (← links)
- Equalizer as Limit (← links)
- Terminal Object as Limit (← links)
- Pullback as Limit (← links)
- Category has Finite Limits iff Finite Products and Equalizers (← links)
- Covariant Hom Functor is Continuous (← links)
- Contravariant Hom Functor maps Colimits to Limits (← links)
- Existence and Uniqueness of Direct Limit of Sequence of Groups (← links)
- Category of Finite Sets is Cartesian Closed (← links)
- Category of Posets is Cartesian Closed (← links)
- Exponentiation Functor is Functor (← links)
- Integers under Addition form Abelian Group (← links)
- Cayley's Theorem (Category Theory)/Historical Note (← links)
- Category Axioms are Self-Dual/Morphisms-Only Category Theory (← links)
- Category Axioms are Self-Dual/Object Category Theory (← links)
- User:Lord Farin/Long-Term Projects/Awodey (← links)
- Definition:Group (← links)
- Definition:Cartesian Product (← links)
- Definition:Composition of Relations (← links)
- Definition:Equivalence Class (← links)
- Definition:Symmetric Group (← links)
- Definition:Diagonal Relation (← links)
- Definition:Quotient Set (← links)
- Definition:Identity Mapping (← links)
- Definition:Projection (Mapping Theory) (← links)
- Definition:Quotient Mapping (← links)
- Definition:Monoid (← links)
- Definition:Ordered Tuple (← links)
- Definition:Group Homomorphism (← links)
- Definition:Ordered Set (← links)
- Definition:Permutation Group (← links)
- Definition:Metacategory (← links)
- Definition:Hom Class (← links)
- Definition:Small Category (← links)
- Definition:Product Category (← links)
- Definition:Monotone (Order Theory)/Mapping (← links)
- Definition:Isomorphism (Category Theory) (← links)
- Definition:Epimorphism (Category Theory) (← links)
- Definition:Monomorphism (Category Theory) (← links)
- Definition:Category of Sets (← links)
- Definition:Category of Finite Sets (← links)
- Definition:Category of Ordered Sets (← links)
- Definition:Category of Relations (← links)
- Definition:One (Category) (← links)
- Definition:Two (Category) (← links)
- Definition:Three (Category) (← links)
- Definition:Zero (Category) (← links)
- Definition:Functor/Covariant (← links)
- Definition:Composition of Functors (← links)
- Definition:Identity Functor (← links)
- Definition:Category of Categories (← links)
- Definition:Discrete Category (← links)
- Definition:Monoid Category (← links)
- Definition:Category of Monoids (← links)
- Definition:Monoid Homomorphism (← links)
- Definition:Locally Small Category (← links)
- Definition:Projection Functor (← links)
- Definition:Dual Category (← links)
- Definition:Morphism Category (← links)
- Definition:Domain Functor (← links)
- Definition:Codomain Functor (← links)
- Definition:Slice Category (← links)
- Definition:Composition Functor on Slice Categories (← links)
- Definition:Slice Functor (← links)
- Definition:Coslice Category (← links)
- Definition:Category of Pointed Sets (← links)
- Definition:Kleene Closure (← links)
- Definition:Concatenation of Ordered Tuples (← links)
- Definition:Insertion of Generators (← links)
- Definition:Underlying Set Functor/Category of Monoids (← links)
- Definition:Free Monoid (← links)
- Definition:Free Category (← links)
- Definition:Graph Functor (← links)
- Definition:Inverse Relation Functor (← links)
- Definition:Split Monomorphism (← links)
- Definition:Split Epimorphism (← links)
- Definition:Section (Category Theory) (← links)
- Definition:Retraction (Category Theory) (← links)
- Definition:Retraction (Category Theory)/Retract (← links)
- Definition:Projective Object (← links)
- Definition:Initial Object (← links)
- Definition:Terminal Object (← links)
- Definition:Category of Boolean Algebras (← links)
- Definition:Constant (Category Theory) (← links)
- Definition:Variable Element (← links)
- Definition:Enough Constants (← links)
- Definition:Product of Morphisms (← links)
- Definition:Product Functor (← links)
- Definition:Category with Products/Binary (← links)
- Definition:Dual Statement (Category Theory) (← links)
- Definition:Coproduct (← links)
- Definition:Equalizer (← links)
- Definition:Coequalizer (← links)
- Definition:Subobject (← links)
- Definition:Category of Subobjects (← links)
- Definition:Inclusion Relation on Subobjects (← links)
- Definition:Equivalent Subobjects (← links)
- Definition:Subobject Class (← links)
- Definition:Category of Subobject Classes (← links)
- Definition:Composition Functor on Categories of Subobjects (← links)
- Definition:Local Membership Relation (← links)
- Definition:Pullback (Category Theory) (← links)
- Definition:Pullback Functor (← links)
- Definition:Diagram (Category Theory) (← links)
- Definition:Cone (Category Theory) (← links)
- Definition:Morphism of Cones (← links)
- Definition:Category of Cones (← links)
- Definition:Limit (Category Theory) (← links)
- Definition:Product (Category Theory)/Binary Product (← links)
- Definition:Functor Preserving Limits (← links)
- Definition:Continuous Functor (← links)
- Definition:Cocone (← links)
- Definition:Morphism of Cocones (← links)
- Definition:Colimit (← links)
- Definition:Direct Limit of Sequence of Groups/Definition 1 (← links)
- Definition:Direct Limit of Sequence of Groups/Definition 2 (← links)
- Definition:Functor Creating Limits (← links)
- Definition:Functor Creating Colimits (← links)
- Definition:Evaluation Mapping (← links)
- Definition:Exponential (Category Theory) (← links)
- Definition:Cartesian Closed Category (← links)
- Definition:Injective on Objects (← links)
- Definition:Surjective on Objects (← links)
- Definition:Injective on Morphisms (← links)
- Definition:Surjective on Morphisms (← links)
- Definition:Full Functor (← links)
- Definition:Faithful Functor (← links)
- Definition:Full Subcategory (← links)
- Definition:Preorder Category/Definition 1 (← links)
- Definition:Order Category/Definition 1 (← links)
- Definition:Boolean Lattice/Definition 3 (← links)
- Definition:Preordering/Definition 1 (← links)
- Definition:Total Ordering/Definition 1 (← links)
- Definition:Surjection/Definition 1 (← links)
- Definition:Functor/Contravariant/Definition 2 (← links)
- Definition:Injection/Definition 1 (← links)
- Definition:Equivalence Relation/Definition 1 (← links)
- Definition:Category Theory (← links)
- Definition:Covariant Hom Functor (← links)
- Definition:Contravariant Hom Functor (← links)
- Definition:Composition of Mappings/Definition 1 (← links)
- Definition:Composition of Mappings/Commutative Diagram (← links)
- Definition:Digraph/Category-Theoretic Definition (← links)
- Definition:Category Theory/Also known as (← links)
- Definition:Full Embedding Functor (← links)
- Definition:Essentially Surjective on Objects Functor (← links)
- Definition:Isomorphic Objects (Category Theory) (← links)
- Definition:Subcategory/Definition 3 (← links)
- Mathematician talk:Steve Awodey (← links)
- Book:Books (← links)
- Book:Steve Awodey/Category Theory/Second Edition (← links)
- Book:Books/Category Theory (← links)
- Book:Steve Awodey/Category Theory (← links)
- Mathematician:Mathematicians/Sorted By Birth/1951 + CE (transclusion) (← links)