Shawn Zhong

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Category Theory

Home / Mathematics / Notes / Category Theory / Page 2

Category Theory - Video 5

  • May 23, 2018
  • Shawn
  • Category Theory
  • No comments yet
Calculating The Number of Maps Between Sets • Consider A={a_0,a_1 }, B={b_0,b_1,b_2 } • There are 3×3=9 maps from A to B • There are 2×2×2=8 maps from B to A General Formula for The Number of Maps A→B • In general, the number of maps A→B is |B|^|A| because each a_i has |B| independent choices • The number of maps A→B≡|B^A |=|B|^|A| • In Video 2, we have defined ○ X={x_0,x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9,x_10,x_11 } ○ C={C♮,(C♯/D♭),D♮,(D♯\/E♭),E♮,F♮,(F♯/G♭),G♮,(G♯/A♭),A♮,(A♯\/B♭),B♮} • So |X^C |=|〖12〗^12 |=8,916,100,448,256 Universal Mapping Properties (UMPs) • A Universal Mapping Property asserts something about one or more objects with zero or more maps between them in relation to all other objects X in the Category • A UMP is an object P, that may or may not have a relationship to a diagram of some sort • The principal is that there is only one map between P and all other objects X in that Category • With X as either the Domain or Codomain of that map, such that P still obeys its restriction Initial Object • In any Category C, an object 0 is said to be an Initial Object of C, if ∀X in C, there is a unique C-arrow 0→X • In S, a set 0 is said to be an Initial Object of S, if for all sets X, there is a unique map 0→X • Number of maps A→B is represented by |B^A |=|B|^|A| , so |X|^|0| =1 must hold for all X • So the Initial Set is the Empty Set, because any number raised to the power of 0 is 1 • There are no maps X→0, unless X≅0, since 0 raised to the power of any number (except 0) is 0 Duality • Whenever you define a UMP in S, to get another UMP just "do the opposite of what the definition says" • Usually just by reversing the arrows, and you ll get another UMP for free • Just add the prefix "co-" to the original definition and you’re done Terminal Object • In any Category C, an object T is said to be a Terminal Object of C, if ∀X in C, there is a unique C-arrow X→T • In S, a set T is said to be a Terminal Object of S, if for all sets X, there is a unique map X→T • Number of maps A→B is represented by |B^A |=|B|^|A| , so |T|^|X| =1 must hold for all X • The Terminal Set is 1, because 1 raised to the power of any number is 1 The Opposite Category and Duality • Duality ○ What if for every map f:A→B, we define a map f^op:B→A that makes the same associations between A and B, just from B^′ s perspective? ○ The map f^op:B→A assigns to each b_i∈B a subset A_i of A called the Splitting of b_i, defined as {a∈A_i⇔f^op (b_i )=a}, such that for all a∈A, there is exactly one A_i such that a∈A_i • Opposite Category ○ We can form a new category S^op that is the "mirror", or Opposite Category of S ○ For every object in S, there is a correspondent object in S^op ○ For every arrow f:A→B in S, there is a correspondent arrow f^op:B→A in S^op Calculating the Number of Maps 3→2 in S^op • The number of maps 3→2 in S^op must be 9, because there are 9 maps 2→3 in S • Ideally each element of the Domain in S^op has 3 choices in a map into the Codomain 2 ○ 0: Do nothing ○ 1: Connect ○ 2: Split into 2 • If we want to partition 2 into 3 parts, our options are 2+0+0, and 1+1+0 • We will represent the size of the subset that f^op assigns to b_0,b_1,b_2 as ⟨|A_0 |,|A_1 |,|A_2 |⟩ The Terminal Object in S^op • The Terminal Object in S^op is the Initial Object in S • The Initial Object in S^op is the Terminal Object in S
Read More >>

Category Theory - Video 6

  • May 23, 2018
  • Shawn
  • Category Theory
  • No comments yet
Read More >>
  • 1
  • 2

Search

  • Home Page
  • Tutorials
  • Mathematics
    • Math 240 - Discrete Math
    • Math 375 - Linear Algebra
    • Math 431 - Intro to Probability
    • Math 514 - Numerical Analysis
    • Math 521 - Analysis I
    • Math 541 - Abstract Algebra
    • Math 632 - Stochastic Processes
    • Abstract Algebra @ 万门大学
    • Linear Algebra @ 万门大学
    • Category Theory
  • Computer Sciences
    • CS/ECE 252 - Intro to Computer Engr.
    • CS/ECE 352 - Digital System Fund.
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Macroeconomics
    • AP Microeconomics
    • AP Chemistry
    • AP Statistics
    • AP Physics C: E&M
    • AP Physics C: Mechanics
    • CLEP Psychology

WeChat Account

Categories

  • Notes (418)
    • AP (115)
      • AP Macroeconomics (20)
      • AP Microeconomics (23)
      • AP Physics C E&M (25)
      • AP Physics C Mechanics (28)
      • AP Statistics (19)
    • Computer Sciences (2)
    • Mathematics (300)
      • Abstract Algebra (29)
      • Category Theory (7)
      • Linear Algebra (29)
      • Math 240 (42)
      • Math 375 (71)
      • Math 514 (18)
      • Math 521 (39)
      • Math 541 (39)
      • Math 632 (26)
  • Projects (4)
  • Tutorials (11)

Archives

  • October 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • July 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017

WeChat Account

Links

RobeZH's thoughts on Algorithms - Ziyi Zhang
Copyright © 2018.      
TOP