String diagrams. a functorial semantics of proofs and programs. Paul-André Melliès. CNRS, Université Paris Denis Diderot.
|
|
- Blaise Ferguson
- 5 years ago
- Views:
Transcription
1 Sring diagram a uncorial emanic o proo and program Paul-ndré Melliè CNRS, Univerié Pari Deni Didero Hop-in-Lux Luxembourg 17 July
2 Connecing 2-dimenional cobordim and logic 2
3 Par 1 Caegorie a monad 3
4 Saring poin: caegorie a monad Depending on he bicaegory, he poin o view ederae: Enriched caegorie Inernal caegorie lgebra a bicaegory o V-marice a bicaegory o pan a bicaegory o comodule The la connecion appear in Marcelo guiar PhD hei 4
5 The bicaegory Ca() he 0-cell are he monad (, ) o he bicaegory he 1-cell (, ) : (, ) (, ) are he pair coniing o a 1-cell and o a 2-cell : : : 5
6 The bicaegory Ca() Diagrammaically: aiying he equaliie below: 6
7 The bicaegory Ca() id η = id id η µ = µ 7
8 n alernaive ormulaion in ring diagram = = 8
9 The bicaegory Ca() Same deiniion, excep ha he direcion o he 2-cell change: kind o ibraion wihou i uncor 9
10 The 2-cell o he bicaegory Ca() he 2-cell are he 2-cell θ : g : θ : g : uch ha he diagram o 2-cell commue: θ g θ µ g g g µ g Reduced orm 10
11 n alernaive ormulaion in ring diagram g g = Reduced orm 11
12 The 2-cell o he bicaegory Ca() he 2-cell are he 2-cell θ : g : θ : g : making he diagram o 2-cell commue: θ g θ µ g g g µ g Non reduced orm 12
13 lernaive ormulaion in ring diagram g g = Non reduced orm 13
14 From he reduced orm o he non reduced orm (and converely) g g g g = = 14
15 Fir equaion g g g g = = = 15
16 Second equaion g g g = = 16
17 Propery o he non reduced orm g g g = = 17
18 Illuraion: inernal caegorie Given a caegory C wih inie limi... he bicaegory Ca(Span) ha he ame 0-cell a he caegory C, he 1-cell are he pan, he 2-cell are morphim beween pan. Fac: a monad in Span i an inernal caegory in C 18
19 Par 2 Module beween caegorie caegorie een a ring wih everal objec 19
20 Repreenaion principle Every monad (in he bicaegorical ene) : induce a monad (in he caegorical ene) (X, ) : (X, ) (X, ) deined by po-compoiion X X or every 0-cell X o he bicaegory. 20
21 Repreenaion principle (dual) Dually, every monad (in he bicaegorical ene) : induce a monad (in he caegorical ene) (, X) : (, X) (, X) deined hi ime by pre-compoiion: X X or every 0-cell X o he bicaegory. 21
22 Repreenaion principle (on boh ide) Every pair o monad (in he bicaegorical ene) : : induce a monad (in he caegorical ene) (, ) : (, ) (, ) deined by pre- and po- compoiion: or every 0-cell X o he bicaegory. 22
23
24 The bicaegory Module() he 0-cell are he monad (, ) o he bicaegory he 1-cell (, ) (, ) are he algebra o he monad (, ) : (, ) (, ). So, hey are pair (, φ) coniing o a 1-cell 23
25 and a 2-cell φ in he bicaegory, aiying he coherence diagram:
26 The bicaegory Module() µ φ µ = φ φ 24
27 id η φ η id = id id id
28 The bicaegory Module() he 2-cell (,φ) (, ) θ (, ) (g,ψ) are he morphim o (, )-algèbre in he caegory (, ). 25
29
30 The bicaegory Module() In oher word, a 2-cell (,φ) (, ) θ (, ) i a 2-cell θ (g,ψ) g 26
31 aiying he equaliy: θ φ = g ψ θ g g
32 The bicaegory Module() The compoie o he wo 1-cell (, ) (,φ) (, ) (g,ψ) (C, u) i deined a he co-equalizer o he 2-cell decribed by he wo dieren way o compoe: g φ g C g g ψ g C 27
33 We make he hypohei (1) ha he caegory (, ) ha coequalizer, or every,, (2) he horizonal compoiion in preerve hee co-equalizer.
34 Par 3 Game cobordim 28
35 Dialogue caegorie ymmeric monoidal caegory C equipped wih a uncor and a naural bijecion : C op C ϕ,,c : C(, C) C(, ( C ) ) C C 29
36 Cobordim 30
37 Frobeniu objec Frobeniu objec F i a monoid and a comonoid aiying d m = d m = m d an alernaive ormulaion o cobordim 31
38 Frobeniu objec Equivalenly, a Frobeniu objec F i a monoid wih an iomorphim o i dual objec F uch ha S : F F S S = F F F F F F 32
39 Lax dualiie in a 3-dimenional caegory L L L η ε L R ε η R R R 33
40 aiying wo coherence properie (a) η R L R η L i he ideniy 3-cell on he uni η o he 2-adjuncion L R, 34
41 aiying wo coherence properie (b) L ε L R ε R i he ideniy 3-cell on he couni ε o he 2-adjuncion L R. 35
42 Peudo Frobeniu objec peudo Frobeniu objec in he bicaegory o module d m d m m d i he ame hing a a -auonomou caegory... when he wo module m and e are uncor. n obervaion by rian Day and Ro Sree (2003) 36
43 Lax Frobeniu objec Relax he el-dualiy equivalence C C op ino an adjuncion C L R C op hi connec game emanic and quanum group 37
44 Game emanic in ribbon diagram C (x, y) C (x, y) S = C op C op C op C op C op C op Idea: replace he elemenary paricle by he game board 38
45 Game emanic in ribbon diagram C (x, y) C (x, y) = C op C op C op C op C op C op Idea: replace he elemenary paricle by he game board 39
46 Game emanic in ribbon diagram C (x, y) C (x, y) = C op C op C op C op C op C op Idea: replace he elemenary paricle by he game board 40
47 Concluion Logic = Daa Srucure + Dualiy Thi poin o view i acceible hank o 2-dimenional algebra 41
1. VELOCITY AND ACCELERATION
1. VELOCITY AND ACCELERATION 1.1 Kinemaics Equaions s = u + 1 a and s = v 1 a s = 1 (u + v) v = u + as 1. Displacemen-Time Graph Gradien = speed 1.3 Velociy-Time Graph Gradien = acceleraion Area under
More informationGroupoidification in Physics
Groupoidificaion in Phyic Jeffrey C. Moron November 11, 2010 Abrac Noe for a eminar in he IST TQFT Club abou he Baez-Dolan groupoidificaion and i exenion, a applied o ome oy model in phyic. 1 Inroducion
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationHow to Solve System Dynamic s Problems
How o Solve Sye Dynaic Proble A ye dynaic proble involve wo or ore bodie (objec) under he influence of everal exernal force. The objec ay uliaely re, ove wih conan velociy, conan acceleraion or oe cobinaion
More informationA LOGIC OF ORTHOGONALITY
ARCHIVUM MATHEMATICUM (BRNO) Tomu 42 (2006), 309 334 A LOGIC OF ORTHOGONALITY J. ADÁMEK, M. HÉBERT AND L. SOUSA Thi paper wa inpired by he hard-o-beleive fac ha Jiří Roický i geing ixy. We are happy o
More informationA Logic of Orthogonality
A Logic of Orhogonaliy J. Adámek, M. Héber and L. Soua Sepember 3, 2006 Thi paper wa inpired by he hard-o-believe fac ha Jiří Roický i geing ixy. We are happy o dedicae our paper o Jirka on he occaion
More informationarxiv: v1 [math.ct] 5 Oct 2007
Ieraed diribuive law arxiv:0710.1120v1 [mah.ct] 5 Oc 2007 Eugenia Cheng Deparmen of Mahemaic, Univerié de Nice Sophia-Anipoli and Deparmen of Mahemaic, Univeriy of Sheffield E-mail: e.cheng@heffield.ac.uk
More informationOn the Axiomatisation of Boolean Categories with and without Medial
On he xiomaisaion o Boolean Caegories wih and wihou Medial Luz Sraßburger To cie his version: Luz Sraßburger. On he xiomaisaion o Boolean Caegories wih and wihou Medial. 2006. HL Id: inria-00130508
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationReading from Young & Freedman: For this topic, read sections 25.4 & 25.5, the introduction to chapter 26 and sections 26.1 to 26.2 & 26.4.
PHY1 Elecriciy Topic 7 (Lecures 1 & 11) Elecric Circuis n his opic, we will cover: 1) Elecromoive Force (EMF) ) Series and parallel resisor combinaions 3) Kirchhoff s rules for circuis 4) Time dependence
More informationFlow Networks. Ma/CS 6a. Class 14: Flow Exercises
0/0/206 Ma/CS 6a Cla 4: Flow Exercie Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d e Sink 0/0/206 Flow
More informationTheory of! Partial Differential Equations!
hp://www.nd.edu/~gryggva/cfd-course/! Ouline! Theory o! Parial Dierenial Equaions! Gréar Tryggvason! Spring 011! Basic Properies o PDE!! Quasi-linear Firs Order Equaions! - Characerisics! - Linear and
More informationTheory of! Partial Differential Equations-I!
hp://users.wpi.edu/~grear/me61.hml! Ouline! Theory o! Parial Dierenial Equaions-I! Gréar Tryggvason! Spring 010! Basic Properies o PDE!! Quasi-linear Firs Order Equaions! - Characerisics! - Linear and
More informationLecture #6: Continuous-Time Signals
EEL5: Discree-Time Signals and Sysems Lecure #6: Coninuous-Time Signals Lecure #6: Coninuous-Time Signals. Inroducion In his lecure, we discussed he ollowing opics:. Mahemaical represenaion and ransormaions
More informationAlgorithmic Discrete Mathematics 6. Exercise Sheet
Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap
More informationCHAPTER 12 DIRECT CURRENT CIRCUITS
CHAPTER 12 DIRECT CURRENT CIUITS DIRECT CURRENT CIUITS 257 12.1 RESISTORS IN SERIES AND IN PARALLEL When wo resisors are conneced ogeher as shown in Figure 12.1 we said ha hey are conneced in series. As
More informationStationary Distribution. Design and Analysis of Algorithms Andrei Bulatov
Saionary Disribuion Design and Analysis of Algorihms Andrei Bulaov Algorihms Markov Chains 34-2 Classificaion of Saes k By P we denoe he (i,j)-enry of i, j Sae is accessible from sae if 0 for some k 0
More informationProgramming Languages in String Diagrams. [ one ] String Diagrams. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String Diagrams [ one ] String Diagrams Paul-ndré Melliès Oregon Summer School in Programming Languages June 2011 String diagrams diagrammatic account o logic and programming 2
More informationQuantum groupoids and logical dualities
Quantum groupoids and logical dualities (work in progress) Paul-André Melliès CNS, Université Paris Denis Diderot Categories, ogic and Foundations of Physics ondon 14 May 2008 1 Proof-knots Aim: formulate
More informationChapter 5. Localization. 5.1 Localization of categories
Chaper 5 Localizaion Consider a caegory C and a amily o morphisms in C. The aim o localizaion is o ind a new caegory C and a uncor Q : C C which sends he morphisms belonging o o isomorphisms in C, (Q,
More informationWEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x
WEEK-3 Reciaion PHYS 131 Ch. 3: FOC 1, 3, 4, 6, 14. Problems 9, 37, 41 & 71 and Ch. 4: FOC 1, 3, 5, 8. Problems 3, 5 & 16. Feb 8, 018 Ch. 3: FOC 1, 3, 4, 6, 14. 1. (a) The horizonal componen of he projecile
More informationKinematics Motion in 1 Dimension and Graphs
Kinemaics Moion in 1 Dimension and Graphs Lana Sheridan De Anza College Sep 27, 2017 Las ime moion in 1-dimension some kinemaic quaniies graphs Overview velociy and speed acceleraion more graphs Kinemaics
More informationPHYSICS Solving Equations
Sepember 20, 2013 PHYSIS Solving Equaion Sepember 2013 www.njcl.org Solving for a Variable Our goal i o be able o olve any equaion for any variable ha appear in i. Le' look a a imple equaion fir. The variable
More informationBrock University Physics 1P21/1P91 Fall 2013 Dr. D Agostino. Solutions for Tutorial 3: Chapter 2, Motion in One Dimension
Brock Uniersiy Physics 1P21/1P91 Fall 2013 Dr. D Agosino Soluions for Tuorial 3: Chaper 2, Moion in One Dimension The goals of his uorial are: undersand posiion-ime graphs, elociy-ime graphs, and heir
More informationMEI Mechanics 1 General motion. Section 1: Using calculus
Soluions o Exercise MEI Mechanics General moion Secion : Using calculus. s 4 v a 6 4 4 When =, v 4 a 6 4 6. (i) When = 0, s = -, so he iniial displacemen = - m. s v 4 When = 0, v = so he iniial velociy
More informationGround Rules. PC1221 Fundamentals of Physics I. Kinematics. Position. Lectures 3 and 4 Motion in One Dimension. A/Prof Tay Seng Chuan
Ground Rules PC11 Fundamenals of Physics I Lecures 3 and 4 Moion in One Dimension A/Prof Tay Seng Chuan 1 Swich off your handphone and pager Swich off your lapop compuer and keep i No alking while lecure
More informationReminder: Flow Networks
0/0/204 Ma/CS 6a Cla 4: Variou (Flow) Execie Reminder: Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d
More informationExplore 2 Proving the Vertical Angles Theorem
Explore 2 Proving he Verical Angles Theorem The conjecure from he Explore abou verical angles can be proven so i can be saed as a heorem. The Verical Angles Theorem If wo angles are verical angles, hen
More informationAP Calculus BC Chapter 10 Part 1 AP Exam Problems
AP Calculus BC Chaper Par AP Eam Problems All problems are NO CALCULATOR unless oherwise indicaed Parameric Curves and Derivaives In he y plane, he graph of he parameric equaions = 5 + and y= for, is a
More informationMechanics Acceleration The Kinematics Equations
Mechanics Acceleraion The Kinemaics Equaions Lana Sheridan De Anza College Sep 27, 2018 Las ime kinemaic quaniies graphs of kinemaic quaniies Overview acceleraion he kinemaics equaions (consan acceleraion)
More informationMath 2214 Solution Test 1 B Spring 2016
Mah 14 Soluion Te 1 B Spring 016 Problem 1: Ue eparaion of ariable o ole he Iniial alue DE Soluion (14p) e =, (0) = 0 d = e e d e d = o = ln e d uing u-du b leing u = e 1 e = + where C = for he iniial
More information3, so θ = arccos
Mahemaics 210 Professor Alan H Sein Monday, Ocober 1, 2007 SOLUTIONS This problem se is worh 50 poins 1 Find he angle beween he vecors (2, 7, 3) and (5, 2, 4) Soluion: Le θ be he angle (2, 7, 3) (5, 2,
More information4 Two movies, together, run for 3 hours. One movie runs 12 minutes longer than the other. How long is each movie?
Algebra Problems 1 A number is increased by 12. The resul is 28. A) Wrie an equaion o find he number. B) Solve your equaion o find he number. 2 A number is decreased by 6. The resul is 15. A) Wrie an equaion
More informationRandomized Perfect Bipartite Matching
Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for
More informationt is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...
Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger
More informationSecond Law. first draft 9/23/04, second Sept Oct 2005 minor changes 2006, used spell check, expanded example
Second Law firs draf 9/3/4, second Sep Oc 5 minor changes 6, used spell check, expanded example Kelvin-Planck: I is impossible o consruc a device ha will operae in a cycle and produce no effec oher han
More informationMaximum Flow in Planar Graphs
Maximum Flow in Planar Graph Planar Graph and i Dual Dualiy i defined for direced planar graph a well Minimum - cu in undireced planar graph An - cu (undireced graph) An - cu The dual o he cu Cu/Cycle
More informationTypes are weak ω-groupoids
Proc London Mah Soc (3) 102 (2011) 370 394 C 2010 London Mahemaical Sociey doi:101112/plm/pdq026 Type are weak ω-groupoid Benno van den Berg and Richard Garner Abrac We define a noion of weak ω-caegory
More informationGroup C*-algebras A.K. Recall 1 that if G is a nonempty set, the linear space
Group C*-algebra A.K. Recall 1 ha if G i a nonempy e, he linear pace c oo (G) = {f : G C : upp f finie } ha a Hamel bai coniing of he funcion {δ : G} where { 1, = δ () = 0, Thu every f c oo (G) i a finie
More informationHamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:
M ah 5 7 Fall 9 L ecure O c. 4, 9 ) Hamilon- J acobi Equaion: Weak S oluion We coninue he sudy of he Hamilon-Jacobi equaion: We have shown ha u + H D u) = R n, ) ; u = g R n { = }. ). In general we canno
More informationAnalyze patterns and relationships. 3. Generate two numerical patterns using AC
envision ah 2.0 5h Grade ah Curriculum Quarer 1 Quarer 2 Quarer 3 Quarer 4 andards: =ajor =upporing =Addiional Firs 30 Day 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 andards: Operaions and Algebraic Thinking
More informationCHAPTER 7: SECOND-ORDER CIRCUITS
EEE5: CI RCUI T THEORY CHAPTER 7: SECOND-ORDER CIRCUITS 7. Inroducion Thi chaper conider circui wih wo orage elemen. Known a econd-order circui becaue heir repone are decribed by differenial equaion ha
More informationMath 315: Linear Algebra Solutions to Assignment 6
Mah 35: Linear Algebra s o Assignmen 6 # Which of he following ses of vecors are bases for R 2? {2,, 3, }, {4,, 7, 8}, {,,, 3}, {3, 9, 4, 2}. Explain your answer. To generae he whole R 2, wo linearly independen
More informationLecture 4 Kinetics of a particle Part 3: Impulse and Momentum
MEE Engineering Mechanics II Lecure 4 Lecure 4 Kineics of a paricle Par 3: Impulse and Momenum Linear impulse and momenum Saring from he equaion of moion for a paricle of mass m which is subjeced o an
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More information5.1 - Logarithms and Their Properties
Chaper 5 Logarihmic Funcions 5.1 - Logarihms and Their Properies Suppose ha a populaion grows according o he formula P 10, where P is he colony size a ime, in hours. When will he populaion be 2500? We
More informationMath 221: Mathematical Notation
Mah 221: Mahemaical Noaion Purpose: One goal in any course is o properly use he language o ha subjec. These noaions summarize some o he major conceps and more diicul opics o he uni. Typing hem helps you
More information15. Bicycle Wheel. Graph of height y (cm) above the axle against time t (s) over a 6-second interval. 15 bike wheel
15. Biccle Wheel The graph We moun a biccle wheel so ha i is free o roae in a verical plane. In fac, wha works easil is o pu an exension on one of he axles, and ge a suden o sand on one side and hold he
More informationChapter 12: Velocity, acceleration, and forces
To Feel a Force Chaper Spring, Chaper : A. Saes of moion For moion on or near he surface of he earh, i is naural o measure moion wih respec o objecs fixed o he earh. The 4 hr. roaion of he earh has a measurable
More informationQuestion 1: Question 2: Topology Exercise Sheet 3
Topology Exercise Shee 3 Prof. Dr. Alessandro Siso Due o 14 March Quesions 1 and 6 are more concepual and should have prioriy. Quesions 4 and 5 admi a relaively shor soluion. Quesion 7 is harder, and you
More informationAngular Motion, Speed and Velocity
Add Imporan Angular Moion, Speed and Velociy Page: 163 Noe/Cue Here Angular Moion, Speed and Velociy NGSS Sandard: N/A MA Curriculum Framework (006): 1.1, 1. AP Phyic 1 Learning Objecive: 3.A.1.1, 3.A.1.3
More informationBe able to sketch a function defined parametrically. (by hand and by calculator)
Pre Calculus Uni : Parameric and Polar Equaions (7) Te References: Pre Calculus wih Limis; Larson, Hoseler, Edwards. B he end of he uni, ou should be able o complee he problems below. The eacher ma provide
More information2.1: What is physics? Ch02: Motion along a straight line. 2.2: Motion. 2.3: Position, Displacement, Distance
Ch: Moion along a sraigh line Moion Posiion and Displacemen Average Velociy and Average Speed Insananeous Velociy and Speed Acceleraion Consan Acceleraion: A Special Case Anoher Look a Consan Acceleraion
More informationA Guided Tour in the Topos of Graphs
A Guided Tour in he Topo of Graph Sebaiano Vigna Abrac In hi paper we urvey he fundamenal conrucion of a preheaf opo in he cae of he elemenary opo of graph. We prove ha he raniion graph of nondeerminiic
More informationStat13 Homework 7. Suggested Solutions
Sa3 Homework 7 hp://www.a.ucla.edu/~dinov/coure_uden.hml Suggeed Soluion Queion 7.50 Le denoe infeced and denoe noninfeced. H 0 : Malaria doe no affec red cell coun (µ µ ) H A : Malaria reduce red cell
More informationProblem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.
CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex
More informationk 1 k 2 x (1) x 2 = k 1 x 1 = k 2 k 1 +k 2 x (2) x k series x (3) k 2 x 2 = k 1 k 2 = k 1+k 2 = 1 k k 2 k series
Final Review A Puzzle... Consider wo massless springs wih spring consans k 1 and k and he same equilibrium lengh. 1. If hese springs ac on a mass m in parallel, hey would be equivalen o a single spring
More informationInventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions
Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.
More informationKINEMATICS IN ONE DIMENSION
KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings move how far (disance and displacemen), how fas (speed and velociy), and how fas ha how fas changes (acceleraion). We say ha an objec
More information!!"#"$%&#'()!"#&'(*%)+,&',-)./0)1-*23)
"#"$%&#'()"#&'(*%)+,&',-)./)1-*) #$%&'()*+,&',-.%,/)*+,-&1*#$)()5*6$+$%*,7&*-'-&1*(,-&*6&,7.$%$+*&%'(*8$&',-,%'-&1*(,-&*6&,79*(&,%: ;..,*&1$&$.$%&'()*1$$.,'&',-9*(&,%)?%*,('&5
More informationPhysics Notes - Ch. 2 Motion in One Dimension
Physics Noes - Ch. Moion in One Dimension I. The naure o physical quaniies: scalars and ecors A. Scalar quaniy ha describes only magniude (how much), NOT including direcion; e. mass, emperaure, ime, olume,
More informationFunctorial calculus in monoidal bicategories
Functorial calculu in monoidal bicategorie Ro Street January 2002 btract The definition calculu of extraordinary natural tranformation [EK] i extended to a context internal to any autonomou monoidal bicategory
More informationSolutions of Sample Problems for Third In-Class Exam Math 246, Spring 2011, Professor David Levermore
Soluions of Sample Problems for Third In-Class Exam Mah 6, Spring, Professor David Levermore Compue he Laplace ransform of f e from is definiion Soluion The definiion of he Laplace ransform gives L[f]s
More informationPHYSICS 220 Lecture 02 Motion, Forces, and Newton s Laws Textbook Sections
PHYSICS 220 Lecure 02 Moion, Forces, and Newon s Laws Texbook Secions 2.2-2.4 Lecure 2 Purdue Universiy, Physics 220 1 Overview Las Lecure Unis Scienific Noaion Significan Figures Moion Displacemen: Δx
More informationAnswers to 1 Homework
Answers o Homework. x + and y x 5 y To eliminae he parameer, solve for x. Subsiue ino y s equaion o ge y x.. x and y, x y x To eliminae he parameer, solve for. Subsiue ino y s equaion o ge x y, x. (Noe:
More informationContinuous Time Linear Time Invariant (LTI) Systems. Dr. Ali Hussein Muqaibel. Introduction
/9/ Coninuous Time Linear Time Invarian (LTI) Sysems Why LTI? Inroducion Many physical sysems. Easy o solve mahemaically Available informaion abou analysis and design. We can apply superposiion LTI Sysem
More information1.6. Slopes of Tangents and Instantaneous Rate of Change
1.6 Slopes of Tangens and Insananeous Rae of Change When you hi or kick a ball, he heigh, h, in meres, of he ball can be modelled by he equaion h() 4.9 2 v c. In his equaion, is he ime, in seconds; c represens
More informationTraces in monoidal categories
Traces in monoidal caegories Sephan Solz and Peer Teichner February 3, 2011 Absrac The main resul of his paper is he consrucion of a race and a race pairing for endomorphisms saisfying suiable condiions
More informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More informationWave Particle Duality & Interference Explained
Journal of Modern Physics, 016, 7, 67-76 Published Online February 016 in SciRes. hp://www.scirp.org/journal/jmp hp://dx.doi.org/10.436/jmp.016.7306 Wave Paricle Dualiy & Inerference Explained Narendra
More informationMatrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality
Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]
More informationConstant Acceleration
Objecive Consan Acceleraion To deermine he acceleraion of objecs moving along a sraigh line wih consan acceleraion. Inroducion The posiion y of a paricle moving along a sraigh line wih a consan acceleraion
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationLecture Notes 2. The Hilbert Space Approach to Time Series
Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship
More informationIB Physics Kinematics Worksheet
IB Physics Kinemaics Workshee Wrie full soluions and noes for muliple choice answers. Do no use a calculaor for muliple choice answers. 1. Which of he following is a correc definiion of average acceleraion?
More informationHomework sheet Exercises done during the lecture of March 12, 2014
EXERCISE SESSION 2A FOR THE COURSE GÉOMÉTRIE EUCLIDIENNE, NON EUCLIDIENNE ET PROJECTIVE MATTEO TOMMASINI Homework shee 3-4 - Exercises done during he lecure of March 2, 204 Exercise 2 Is i rue ha he parameerized
More informationPhys 221 Fall Chapter 2. Motion in One Dimension. 2014, 2005 A. Dzyubenko Brooks/Cole
Phys 221 Fall 2014 Chaper 2 Moion in One Dimension 2014, 2005 A. Dzyubenko 2004 Brooks/Cole 1 Kinemaics Kinemaics, a par of classical mechanics: Describes moion in erms of space and ime Ignores he agen
More informationElectrical and current self-induction
Elecrical and curren self-inducion F. F. Mende hp://fmnauka.narod.ru/works.hml mende_fedor@mail.ru Absrac The aricle considers he self-inducance of reacive elemens. Elecrical self-inducion To he laws of
More informationMath 2214 Solution Test 1A Spring 2016
Mah 14 Soluion Tes 1A Spring 016 sec Problem 1: Wha is he larges -inerval for which ( 4) = has a guaraneed + unique soluion for iniial value (-1) = 3 according o he Exisence Uniqueness Theorem? Soluion
More informationTRACES IN MONOIDAL CATEGORIES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIET Volume 364, Number 8, Augus 2012, Pages 4425 4464 S 0002-9947(2012)05615-7 Aricle elecronically published on March 29, 2012 TRACES IN MONOIDAL CATEGORIES
More informationChapters 6 & 7: Trigonometric Functions of Angles and Real Numbers. Divide both Sides by 180
Algebra Chapers & : Trigonomeric Funcions of Angles and Real Numbers Chapers & : Trigonomeric Funcions of Angles and Real Numbers - Angle Measures Radians: - a uni (rad o measure he size of an angle. rad
More informationPhysics 180A Fall 2008 Test points. Provide the best answer to the following questions and problems. Watch your sig figs.
Physics 180A Fall 2008 Tes 1-120 poins Name Provide he bes answer o he following quesions and problems. Wach your sig figs. 1) The number of meaningful digis in a number is called he number of. When numbers
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationMotion along a Straight Line
chaper 2 Moion along a Sraigh Line verage speed and average velociy (Secion 2.2) 1. Velociy versus speed Cone in he ebook: fer Eample 2. Insananeous velociy and insananeous acceleraion (Secions 2.3, 2.4)
More informationPhysics 20 Lesson 5 Graphical Analysis Acceleration
Physics 2 Lesson 5 Graphical Analysis Acceleraion I. Insananeous Velociy From our previous work wih consan speed and consan velociy, we know ha he slope of a posiion-ime graph is equal o he velociy of
More informationNetwork Flow. Data Structures and Algorithms Andrei Bulatov
Nework Flow Daa Srucure and Algorihm Andrei Bulao Algorihm Nework Flow 24-2 Flow Nework Think of a graph a yem of pipe We ue hi yem o pump waer from he ource o ink Eery pipe/edge ha limied capaciy Flow
More informationPosition, Velocity, and Acceleration
rev 06/2017 Posiion, Velociy, and Acceleraion Equipmen Qy Equipmen Par Number 1 Dynamic Track ME-9493 1 Car ME-9454 1 Fan Accessory ME-9491 1 Moion Sensor II CI-6742A 1 Track Barrier Purpose The purpose
More information5.2. The Natural Logarithm. Solution
5.2 The Naural Logarihm The number e is an irraional number, similar in naure o π. Is non-erminaing, non-repeaing value is e 2.718 281 828 59. Like π, e also occurs frequenly in naural phenomena. In fac,
More informationThe Maxwell Equations, the Lorentz Field and the Electromagnetic Nanofield with Regard to the Question of Relativity
The Maxwell Equaions, he Lorenz Field and he Elecromagneic Nanofield wih Regard o he Quesion of Relaiviy Daniele Sasso * Absrac We discuss he Elecromagneic Theory in some main respecs and specifically
More informationHW6: MRI Imaging Pulse Sequences (7 Problems for 100 pts)
HW6: MRI Imaging Pulse Sequences (7 Problems for 100 ps) GOAL The overall goal of HW6 is o beer undersand pulse sequences for MRI image reconsrucion. OBJECTIVES 1) Design a spin echo pulse sequence o image
More informationDecimal moved after first digit = 4.6 x Decimal moves five places left SCIENTIFIC > POSITIONAL. a) g) 5.31 x b) 0.
PHYSICS 20 UNIT 1 SCIENCE MATH WORKSHEET NAME: A. Sandard Noaion Very large and very small numbers are easily wrien using scienific (or sandard) noaion, raher han decimal (or posiional) noaion. Sandard
More informationSeminar 4: Hotelling 2
Seminar 4: Hoelling 2 November 3, 211 1 Exercise Par 1 Iso-elasic demand A non renewable resource of a known sock S can be exraced a zero cos. Demand for he resource is of he form: D(p ) = p ε ε > A a
More informationEECE 301 Signals & Systems Prof. Mark Fowler
EECE 31 Signal & Syem Prof. Mark Fowler Noe Se #27 C-T Syem: Laplace Tranform Power Tool for yem analyi Reading Aignmen: Secion 6.1 6.3 of Kamen and Heck 1/18 Coure Flow Diagram The arrow here how concepual
More informationUniversity of Cyprus Biomedical Imaging and Applied Optics. Appendix. DC Circuits Capacitors and Inductors AC Circuits Operational Amplifiers
Universiy of Cyprus Biomedical Imaging and Applied Opics Appendix DC Circuis Capaciors and Inducors AC Circuis Operaional Amplifiers Circui Elemens An elecrical circui consiss of circui elemens such as
More information23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes
Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion
More informationPhysics 240: Worksheet 16 Name
Phyic 4: Workhee 16 Nae Non-unifor circular oion Each of hee proble involve non-unifor circular oion wih a conan α. (1) Obain each of he equaion of oion for non-unifor circular oion under a conan acceleraion,
More information12. Nyquist Sampling, Pulse-Amplitude Modulation, and Time- Division Multiplexing
Nyqui Sapling, Pule-Apliude Modulaion, and Tie Diviion Muliplexing on Mac 2. Nyqui Sapling, Pule-Apliude Modulaion, and Tie- Diviion Muliplexing Many analogue counicaion ye are ill in wide ue oday. Thee
More informationChapter Q1. We need to understand Classical wave first. 3/28/2004 H133 Spring
Chaper Q1 Inroducion o Quanum Mechanics End of 19 h Cenury only a few loose ends o wrap up. Led o Relaiviy which you learned abou las quarer Led o Quanum Mechanics (1920 s-30 s and beyond) Behavior of
More informationPhysics 3A: Basic Physics I Shoup Sample Midterm. Useful Equations. x f. x i v x. a x. x i. v xi v xf. 2a x f x i. y f. a r.
Physics 3A: Basic Physics I Shoup Sample Miderm Useful Equaions A y Asin A A x A y an A y A x A = A x i + A y j + A z k A * B = A B cos(θ) A x B = A B sin(θ) A * B = A x B x + A y B y + A z B z A x B =
More information