- published: 22 Nov 2013
- views: 34127
Create your page here
-
remove the playlistCategory Theory
- remove the playlistCategory Theory
back to playlist
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Definition of a category
Examples of categories (Set, Pos, Mon, Cat, others...)
Isomorphisms
Constructions (functors, product categories, arrow categories, slice categories)
Duality (opposite category, co- vs contravariant functors)
Examples of duality (functors into exponentials, representable functors)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Universal Mapping Property
Products, Coproducts (Examples: in Set, poset-categories)
Exponentials (Examples: in Set, Pos)
Cartesian Closed Categories (lambda calculus, CCC-completeness)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
- published: 22 Nov 2013
- views: 8142
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object.
Other topics discussed include Duality and the Opposite (or Mirror) Category.
These videos will be discussed in the Facebook group: http://is.gd/SJlp7I
Follow me on Twitter: @mjmcodrington
g+: google.com/+MJMCodrington
The Facebook Group is: http://is.gd/SJlp7I
Martin Codrington
- published: 14 Jun 2015
- views: 8434
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is always a smart idea to ask the question x -LT "What would x do?" applied to the Category Theorist that worked on your same problem already decades ago. Since lambda expressions are the new hot topic all across programming language land these days, we will invoke our question of conscience with "Joachim Lambek" and learn that Java 8 lambdas and method references are simply a Cartesian Closed Category, proving yet again that interfaces are the OO developers' interpretation of Category Theory.
Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry in the Malmö/Lund region. Foo Café is aimed at those interested in sharing, learning and creating.
Join the fun at foocafe.org
- published: 10 Sep 2015
- views: 12624
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us?
Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep underlying patterns in our software.
No prior knowledge required!
- published: 07 May 2015
- views: 5009
Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Amanda Chan
http://csc.uwaterloo.ca/~mlbaker/w15
- published: 01 Feb 2015
- views: 7519
The main talk starts at 10:16
This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and show that they can be implemented in Java. He will also introduce coffee-cats, the port of the Scala cats library that he is working on.
- published: 25 Sep 2015
- views: 725
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level reasoning found in pure mathematics, to codify these into abstract structures, and to understand how these structures may be applied to other parts of mathematics or to other disciplines such as computer science and theoretical physics. Dr Garner gained his PhD from the
University of Cambridge in 2006, and since then has attracted competitive grant funding of over $800,000 in a series of prestigious research fellowships: a European Union Marie Curie Fellowship in
Uppsala, Sweden (2006-08), a Research Fellowship of St John's College, Cambridge (2008-10), and now an ARC Australian Research Fellowship here at Macquarie (2011-15). His has 14 publications to his name, these spanning a wide range of mathematical disciplines, and has collaborators in Australia, Germany, Italy, the US, the UK, and the Czech Republic. He has received many invitations to speak at
international conferences and workshops and is currently involved with the supervision of two PhD students here at Macquarie.
- published: 06 Oct 2011
- views: 7025
By, Gabriel Claramunt
Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. What's a category? What's a functor? This talks aims to present the basic concepts and why they matter to everyday coding.
Next time, you too can be the soul of the party and impress your friends with category theory!*
*(results may vary)
Help us caption & translate this video!
http://amara.org/v/FoG8/
- published: 15 Dec 2014
- views: 2604
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories and see how satisfying the Functor laws suggests a whole new architecture for jQuery that will help developers speed up their client side DOM manipulation.
Don't worry, you don't need to know any Math to understand and enjoy the talk, just some curiosity and a desire to make your JavaScript faster!
For reuse of this video under a more permissive license please get in touch with us. The speakers retain the copyright for their performances.
- published: 16 Nov 2012
- views: 4762
Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows (also called morphisms, although this term also has a specific, non category-theoretical sense), where these collections satisfy some basic conditions. Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories.
The most accessible example of a category is the category of sets, where the objects are sets and the arrows are functions from one set to another. However it is important to note that the objects of a category need not be sets nor the arrows functions; any way of formalising a mathematical concept such that it meets the basic conditions on the behaviour of objects and arrows is a valid category, and all the results of category theory will apply to it.
This page contains text from Wikipedia, the Free Encyclopedia -
http://en.wikipedia.org/wiki/Category_theory
This article is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License, which means that you can copy and modify it as long as the entire work (including additions) remains under this license.
This article is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License, which means that you can copy and modify it as long as the entire work (including additions) remains under this license.
- Loading...
-
79:41Category Theory Foundations, Lecture 1
Category Theory Foundations, Lecture 1Category Theory Foundations, Lecture 1
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/ Topics covered in this lecture: Definition of a category Examples of categories (Set, Pos, Mon, Cat, others...) Isomorphisms Constructions (functors, product categories, arrow categories, slice categories) Duality (opposite category, co- vs contravariant functors) Examples of duality (functors into exponentials, representable functors) For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/ -
90:52Category Theory Foundations, Lecture 2
Category Theory Foundations, Lecture 2Category Theory Foundations, Lecture 2
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/ Topics covered in this lecture: Universal Mapping Property Products, Coproducts (Examples: in Set, poset-categories) Exponentials (Examples: in Set, Pos) Cartesian Closed Categories (lambda calculus, CCC-completeness) For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/ -
16:09Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed in the Facebook group: http://is.gd/SJlp7I Follow me on Twitter: @mjmcodrington g+: google.com/+MJMCodrington The Facebook Group is: http://is.gd/SJlp7I Martin Codrington -
96:54Category Theory by Tom LaGatta
Category Theory by Tom LaGatta -
57:24Introduction to Category Theory 1
Introduction to Category Theory 1Introduction to Category Theory 1
Lectures on elementary category theory: part 1 -
63:14Category Theory, The essence of interface-based design - Erik Meijer
Category Theory, The essence of interface-based design - Erik MeijerCategory Theory, The essence of interface-based design - Erik Meijer
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is always a smart idea to ask the question x -LT "What would x do?" applied to the Category Theorist that worked on your same problem already decades ago. Since lambda expressions are the new hot topic all across programming language land these days, we will invoke our question of conscience with "Joachim Lambek" and learn that Java 8 lambdas and method references are simply a Cartesian Closed Category, proving yet again that interfaces are the OO developers' interpretation of Category Theory. Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry in the Malmö/Lund region. Foo Café is aimed at those interested in sharing, learning and creating. Join the fun at foocafe.org -
102:39Category Theory Lulz - Ken Scambler
Category Theory Lulz - Ken ScamblerCategory Theory Lulz - Ken Scambler
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us? Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep underlying patterns in our software. No prior knowledge required! -
116:45Category theory: a framework for reasoning
Category theory: a framework for reasoningCategory theory: a framework for reasoning
Class field theory seminar 2015-01-31 MC 5403 Speaker: Michael Baker Video courtesy of Amanda Chan http://csc.uwaterloo.ca/~mlbaker/w15 -
71:102015-09 Category Theory in Functional Programming
2015-09 Category Theory in Functional Programming2015-09 Category Theory in Functional Programming
The main talk starts at 10:16 This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and show that they can be implemented in Java. He will also introduce coffee-cats, the port of the Scala cats library that he is working on. -
1:45Category Theory - Dr Richard Garner - Macquarie University
Category Theory - Dr Richard Garner - Macquarie UniversityCategory Theory - Dr Richard Garner - Macquarie University
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level reasoning found in pure mathematics, to codify these into abstract structures, and to understand how these structures may be applied to other parts of mathematics or to other disciplines such as computer science and theoretical physics. Dr Garner gained his PhD from the University of Cambridge in 2006, and since then has attracted competitive grant funding of over $800,000 in a series of prestigious research fellowships: a European Union Marie Curie Fellowship in Uppsala, Sweden (2006-08), a Research Fellowship of St John's College, Cambridge (2008-10), and now an ARC Australian Research Fellowship here at Macquarie (2011-15). His has 14 publications to his name, these spanning a wide range of mathematical disciplines, and has collaborators in Australia, Germany, Italy, the US, the UK, and the Czech Republic. He has received many invitations to speak at international conferences and workshops and is currently involved with the supervision of two PhD students here at Macquarie. -
36:35PNWS 2014 - What every (Scala) programmer should know about category theory
PNWS 2014 - What every (Scala) programmer should know about category theoryPNWS 2014 - What every (Scala) programmer should know about category theory
By, Gabriel Claramunt Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. What's a category? What's a functor? This talks aims to present the basic concepts and why they matter to everyday coding. Next time, you too can be the soul of the party and impress your friends with category theory!* *(results may vary) Help us caption & translate this video! http://amara.org/v/FoG8/ -
31:05John Bender: Faster JavaScript with Category Theory
John Bender: Faster JavaScript with Category TheoryJohn Bender: Faster JavaScript with Category Theory
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories and see how satisfying the Functor laws suggests a whole new architecture for jQuery that will help developers speed up their client side DOM manipulation. Don't worry, you don't need to know any Math to understand and enjoy the talk, just some curiosity and a desire to make your JavaScript faster! For reuse of this video under a more permissive license please get in touch with us. The speakers retain the copyright for their performances.
- Abstract algebra
- Abstract nonsense
- Adjoint functors
- Algebra
- Algebraic geometry
- Algebraic topology
- André Joyal
- Applied mathematics
- Areas of mathematics
- Arithmetic
- ArXiv
- Associativity
- Automorphism
- Axiom
- Axiomatic set theory
- Bicategory
- Binary operation
- Calculus
- Categorical logic
- Category of sets
- Category theory
- Class (set theory)
- Combinatorics
- Commutative diagram
- Control theory
- Data type
- Diagram chasing
- Discrete geometry
- Discrete mathematics
- Domain theory
- Elementary algebra
- Emmy Noether
- Empty set
- Endomorphism
- Enriched category
- Epimorphism
- Feynman diagrams
- Finitary relation
- Functor
- Functor category
- Fundamental group
- Game theory
- General covariance
- Geometry
- Graph theory
- Group (mathematics)
- Group homomorphism
- Groupoid
- Higher-order logic
- Homological algebra
- Homology theory
- Identity element
- Identity morphism
- Information theory
- Intuitionistic logic
- Isomorphism
- John Baez
- Lambda calculus
- Lie theory
- Linear algebra
- Manifold theory
- Map (mathematics)
- Materials Science
- Mathematical logic
- Mathematical Logic
- Mathematical physics
- Mathematical proof
- Mathematics
- Monoidal category
- Monomorphism
- Morphism
- Multilinear algebra
- N-category
- Natural number
- Number theory
- Numerical analysis
- Olog
- Opposite category
- Ordinal number
- Peter J. Freyd
- PlanetMath
- Pointless topology
- Portal Mathematics
- Probability theory
- Product topology
- Pure mathematics
- Russell-Whitehead
- Samuel Eilenberg
- Saunders Mac Lane
- Semantic
- Set theory
- Sheaf (mathematics)
- Smooth function
- Stanisław Ulam
- Stephen Schanuel
- Theorem
- Topological space
- Topology
- Topos
- Type theory
- Universal algebra
- Universal property
- Vector space
- Wikipedia INCITE
- Wiktionary abstract
- William Lawvere
- Yoneda lemma
- Ω (ordinal number)
- Ω-category
-
Category Theory Foundations, Lecture 1
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/ Topics covered in this lecture: Definition of a category Examples of categories (Set, Pos, Mon, Cat, others...) Isomorphisms Constructions (functors, product categories, arrow categories, slice categories) Duality (opposite category, co- vs contravariant functors) Examples of duality (functors into exponentials, representable functors) For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/ -
Category Theory Foundations, Lecture 2
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/ Topics covered in this lecture: Universal Mapping Property Products, Coproducts (Examples: in Set, poset-categories) Exponentials (Examples: in Set, Pos) Cartesian Closed Categories (lambda calculus, CCC-completeness) For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/ -
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed in the Facebook group: http://is.gd/SJlp7I Follow me on Twitter: @mjmcodrington g+: google.com/+MJMCodrington The Facebook Group is: http://is.gd/SJlp7I Martin Codrington -
-
Introduction to Category Theory 1
Lectures on elementary category theory: part 1 -
Category Theory, The essence of interface-based design - Erik Meijer
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is always a smart idea to ask the question x -LT "What would x do?" applied to the Category Theorist that worked on your same problem already decades ago. Since lambda expressions are the new hot topic all across programming language land these days, we will invoke our question of conscience with "Joachim Lambek" and learn that Java 8 lambdas and method references are simply a Cartesian Closed Category, proving yet again that interfaces are the OO developers' interpretation of Category Theory. Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry in the Malmö/Lund regio... -
Category Theory Lulz - Ken Scambler
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us? Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep underlying patterns in our software. No prior knowledge required! -
Category theory: a framework for reasoning
Class field theory seminar 2015-01-31 MC 5403 Speaker: Michael Baker Video courtesy of Amanda Chan http://csc.uwaterloo.ca/~mlbaker/w15 -
2015-09 Category Theory in Functional Programming
The main talk starts at 10:16 This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and show that they can be implemented in Java. He will also introduce coffee-cats, the port of the Scala cats library that he is working on. -
Category Theory - Dr Richard Garner - Macquarie University
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level reasoning found in pure mathematics, to codify these into abstract structures, and to understand how these structures may be applied to other parts of mathematics or to other disciplines such as computer science and theoretical physics. Dr Garner gained his PhD from the University of Cambridge in 2006, and since then has attracted competitive grant funding of over $800,000 in a series of prestigious research fellowships: a European Union Marie Curie Fellowship in Uppsala, Sweden (2006-08), a Research Fellowship of St John's College, Cambridge (2008-10), and now an ARC Australian Research Fellowship here at Macquarie (2011-15). His ha... -
PNWS 2014 - What every (Scala) programmer should know about category theory
By, Gabriel Claramunt Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. What's a category? What's a functor? This talks aims to present the basic concepts and why they matter to everyday coding. Next time, you too can be the soul of the party and impress your friends with category theory!* *(results may vary) Help us caption & translate this video! http://amara.org/v/FoG8/ -
John Bender: Faster JavaScript with Category Theory
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories and see how satisfying the Functor laws suggests a whole new architecture for jQuery that will help developers speed up their client side DOM manipulation. Don't worry, you don't need to know any Math to understand and enjoy the talk, just some curiosity and a desire to make your JavaScript faster! For reuse of this video under a more permissive license please get in touch with us. The speakers retain the copyright for their performances.
Category Theory Foundations, Lecture 1
- Order: Reorder
- Duration: 79:41
- Updated: 22 Nov 2013
- views: 34127
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available ...
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Definition of a category
Examples of categories (Set, Pos, Mon, Cat, others...)
Isomorphisms
Constructions (functors, product categories, arrow categories, slice categories)
Duality (opposite category, co- vs contravariant functors)
Examples of duality (functors into exponentials, representable functors)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
wn.com/Category Theory Foundations, Lecture 1
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Definition of a category
Examples of categories (Set, Pos, Mon, Cat, others...)
Isomorphisms
Constructions (functors, product categories, arrow categories, slice categories)
Duality (opposite category, co- vs contravariant functors)
Examples of duality (functors into exponentials, representable functors)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
- published: 22 Nov 2013
- views: 34127
Category Theory Foundations, Lecture 2
- Order: Reorder
- Duration: 90:52
- Updated: 22 Nov 2013
- views: 8142
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available ...
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Universal Mapping Property
Products, Coproducts (Examples: in Set, poset-categories)
Exponentials (Examples: in Set, Pos)
Cartesian Closed Categories (lambda calculus, CCC-completeness)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
wn.com/Category Theory Foundations, Lecture 2
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer School 2012, University of Oregon
Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/
Topics covered in this lecture:
Universal Mapping Property
Products, Coproducts (Examples: in Set, poset-categories)
Exponentials (Examples: in Set, Pos)
Cartesian Closed Categories (lambda calculus, CCC-completeness)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
- published: 22 Nov 2013
- views: 8142
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
- Order: Reorder
- Duration: 16:09
- Updated: 14 Jun 2015
- views: 8434
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and ...
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object.
Other topics discussed include Duality and the Opposite (or Mirror) Category.
These videos will be discussed in the Facebook group: http://is.gd/SJlp7I
Follow me on Twitter: @mjmcodrington
g+: google.com/+MJMCodrington
The Facebook Group is: http://is.gd/SJlp7I
Martin Codrington
wn.com/Category Theory The Beginner’S Introduction (Lesson 1 Video 1)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object.
Other topics discussed include Duality and the Opposite (or Mirror) Category.
These videos will be discussed in the Facebook group: http://is.gd/SJlp7I
Follow me on Twitter: @mjmcodrington
g+: google.com/+MJMCodrington
The Facebook Group is: http://is.gd/SJlp7I
Martin Codrington
- published: 14 Jun 2015
- views: 8434
Category Theory by Tom LaGatta
- Order: Reorder
- Duration: 96:54
- Updated: 02 Apr 2014
- views: 34772
Read more information here: http://www.hakkalabs.co/articles/mathematics-lectures-for-software-engineers-category-theory-by-tom-lagatta
Filmed at the March 11,...
Read more information here: http://www.hakkalabs.co/articles/mathematics-lectures-for-software-engineers-category-theory-by-tom-lagatta
Filmed at the March 11, 2014 LispNYC meetup at Meetup HQ in NYC.
wn.com/Category Theory By Tom Lagatta
Introduction to Category Theory 1
- Order: Reorder
- Duration: 57:24
- Updated: 27 Sep 2015
- views: 2850
Lectures on elementary category theory: part 1
Lectures on elementary category theory: part 1
wn.com/Introduction To Category Theory 1
Lectures on elementary category theory: part 1
- published: 27 Sep 2015
- views: 2850
Category Theory, The essence of interface-based design - Erik Meijer
- Order: Reorder
- Duration: 63:14
- Updated: 10 Sep 2015
- views: 12624
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is al...
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is always a smart idea to ask the question x -LT "What would x do?" applied to the Category Theorist that worked on your same problem already decades ago. Since lambda expressions are the new hot topic all across programming language land these days, we will invoke our question of conscience with "Joachim Lambek" and learn that Java 8 lambdas and method references are simply a Cartesian Closed Category, proving yet again that interfaces are the OO developers' interpretation of Category Theory.
Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry in the Malmö/Lund region. Foo Café is aimed at those interested in sharing, learning and creating.
Join the fun at foocafe.org
wn.com/Category Theory, The Essence Of Interface Based Design Erik Meijer
Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is always a smart idea to ask the question x -LT "What would x do?" applied to the Category Theorist that worked on your same problem already decades ago. Since lambda expressions are the new hot topic all across programming language land these days, we will invoke our question of conscience with "Joachim Lambek" and learn that Java 8 lambdas and method references are simply a Cartesian Closed Category, proving yet again that interfaces are the OO developers' interpretation of Category Theory.
Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry in the Malmö/Lund region. Foo Café is aimed at those interested in sharing, learning and creating.
Join the fun at foocafe.org
- published: 10 Sep 2015
- views: 12624
Category Theory Lulz - Ken Scambler
- Order: Reorder
- Duration: 102:39
- Updated: 07 May 2015
- views: 5009
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us?
Ken wi...
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us?
Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep underlying patterns in our software.
No prior knowledge required!
wn.com/Category Theory Lulz Ken Scambler
Why do functional programmers talk about Category Theory so much? What could this horrifyingly abstract branch of maths have to offer the rest of us?
Ken will answer these questions and more, explaining the basic terminology and concepts of Category Theory, and how it exposes deep underlying patterns in our software.
No prior knowledge required!
- published: 07 May 2015
- views: 5009
Category theory: a framework for reasoning
- Order: Reorder
- Duration: 116:45
- Updated: 01 Feb 2015
- views: 7519
Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Amanda Chan
http://csc.uwaterloo.ca/~mlbaker/w15
Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Amanda Chan
http://csc.uwaterloo.ca/~mlbaker/w15
wn.com/Category Theory A Framework For Reasoning
Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Amanda Chan
http://csc.uwaterloo.ca/~mlbaker/w15
- published: 01 Feb 2015
- views: 7519
2015-09 Category Theory in Functional Programming
- Order: Reorder
- Duration: 71:10
- Updated: 25 Sep 2015
- views: 725
The main talk starts at 10:16
This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and...
The main talk starts at 10:16
This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and show that they can be implemented in Java. He will also introduce coffee-cats, the port of the Scala cats library that he is working on.
wn.com/2015 09 Category Theory In Functional Programming
The main talk starts at 10:16
This month, Angelo Genovese will introduce a few of the structures in functional programming that came out of category theory and show that they can be implemented in Java. He will also introduce coffee-cats, the port of the Scala cats library that he is working on.
- published: 25 Sep 2015
- views: 725
Category Theory - Dr Richard Garner - Macquarie University
- Order: Reorder
- Duration: 1:45
- Updated: 06 Oct 2011
- views: 7025
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level r...
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level reasoning found in pure mathematics, to codify these into abstract structures, and to understand how these structures may be applied to other parts of mathematics or to other disciplines such as computer science and theoretical physics. Dr Garner gained his PhD from the
University of Cambridge in 2006, and since then has attracted competitive grant funding of over $800,000 in a series of prestigious research fellowships: a European Union Marie Curie Fellowship in
Uppsala, Sweden (2006-08), a Research Fellowship of St John's College, Cambridge (2008-10), and now an ARC Australian Research Fellowship here at Macquarie (2011-15). His has 14 publications to his name, these spanning a wide range of mathematical disciplines, and has collaborators in Australia, Germany, Italy, the US, the UK, and the Czech Republic. He has received many invitations to speak at
international conferences and workshops and is currently involved with the supervision of two PhD students here at Macquarie.
wn.com/Category Theory Dr Richard Garner Macquarie University
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category theory. Category theory seeks to understand the forms of high-level reasoning found in pure mathematics, to codify these into abstract structures, and to understand how these structures may be applied to other parts of mathematics or to other disciplines such as computer science and theoretical physics. Dr Garner gained his PhD from the
University of Cambridge in 2006, and since then has attracted competitive grant funding of over $800,000 in a series of prestigious research fellowships: a European Union Marie Curie Fellowship in
Uppsala, Sweden (2006-08), a Research Fellowship of St John's College, Cambridge (2008-10), and now an ARC Australian Research Fellowship here at Macquarie (2011-15). His has 14 publications to his name, these spanning a wide range of mathematical disciplines, and has collaborators in Australia, Germany, Italy, the US, the UK, and the Czech Republic. He has received many invitations to speak at
international conferences and workshops and is currently involved with the supervision of two PhD students here at Macquarie.
- published: 06 Oct 2011
- views: 7025
PNWS 2014 - What every (Scala) programmer should know about category theory
- Order: Reorder
- Duration: 36:35
- Updated: 15 Dec 2014
- views: 2604
By, Gabriel Claramunt
Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss...
By, Gabriel Claramunt
Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. What's a category? What's a functor? This talks aims to present the basic concepts and why they matter to everyday coding.
Next time, you too can be the soul of the party and impress your friends with category theory!*
*(results may vary)
Help us caption & translate this video!
http://amara.org/v/FoG8/
wn.com/Pnws 2014 What Every (Scala) Programmer Should Know About Category Theory
By, Gabriel Claramunt
Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. What's a category? What's a functor? This talks aims to present the basic concepts and why they matter to everyday coding.
Next time, you too can be the soul of the party and impress your friends with category theory!*
*(results may vary)
Help us caption & translate this video!
http://amara.org/v/FoG8/
- published: 15 Dec 2014
- views: 2604
John Bender: Faster JavaScript with Category Theory
- Order: Reorder
- Duration: 31:05
- Updated: 16 Nov 2012
- views: 4762
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play....
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories and see how satisfying the Functor laws suggests a whole new architecture for jQuery that will help developers speed up their client side DOM manipulation.
Don't worry, you don't need to know any Math to understand and enjoy the talk, just some curiosity and a desire to make your JavaScript faster!
For reuse of this video under a more permissive license please get in touch with us. The speakers retain the copyright for their performances.
wn.com/John Bender Faster Javascript With Category Theory
Math: It's certainly not something you expect to see at a conference about JavaScript, but even this far from its ivory towers it has an important role to play. Together we'll build two categories and see how satisfying the Functor laws suggests a whole new architecture for jQuery that will help developers speed up their client side DOM manipulation.
Don't worry, you don't need to know any Math to understand and enjoy the talk, just some curiosity and a desire to make your JavaScript faster!
For reuse of this video under a more permissive license please get in touch with us. The speakers retain the copyright for their performances.
- published: 16 Nov 2012
- views: 4762
close fullscreen
- Playlist
- Chat
close fullscreen
- Playlist
- Chat
79:41
Category Theory Foundations, Lecture 1
Steve Awodey - Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer...
published: 22 Nov 2013
Category Theory Foundations, Lecture 1
Category Theory Foundations, Lecture 1
- Report rights infringement
- published: 22 Nov 2013
- views: 34127
90:52
Category Theory Foundations, Lecture 2
Steve Awodey - Category Theory Foundations, Lecture 2, Oregon Programming Languages Summer...
published: 22 Nov 2013
Category Theory Foundations, Lecture 2
Category Theory Foundations, Lecture 2
- Report rights infringement
- published: 22 Nov 2013
- views: 8142
16:09
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. ...
published: 14 Jun 2015
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
- Report rights infringement
- published: 14 Jun 2015
- views: 8434
96:54
Category Theory by Tom LaGatta
Read more information here: http://www.hakkalabs.co/articles/mathematics-lectures-for-soft...
published: 02 Apr 2014
Category Theory by Tom LaGatta
Category Theory by Tom LaGatta
- Report rights infringement
- published: 02 Apr 2014
- views: 34772
57:24
Introduction to Category Theory 1
Lectures on elementary category theory: part 1
published: 27 Sep 2015
Introduction to Category Theory 1
Introduction to Category Theory 1
- Report rights infringement
- published: 27 Sep 2015
- views: 2850
63:14
Category Theory, The essence of interface-based design - Erik Meijer
Category Theory is the Mathematicians' interpretation of interface-based design, so whenev...
published: 10 Sep 2015
Category Theory, The essence of interface-based design - Erik Meijer
Category Theory, The essence of interface-based design - Erik Meijer
- Report rights infringement
- published: 10 Sep 2015
- views: 12624
102:39
Category Theory Lulz - Ken Scambler
Why do functional programmers talk about Category Theory so much? What could this horrify...
published: 07 May 2015
Category Theory Lulz - Ken Scambler
Category Theory Lulz - Ken Scambler
- Report rights infringement
- published: 07 May 2015
- views: 5009
116:45
Category theory: a framework for reasoning
Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Ama...
published: 01 Feb 2015
Category theory: a framework for reasoning
Category theory: a framework for reasoning
- Report rights infringement
- published: 01 Feb 2015
- views: 7519
71:10
2015-09 Category Theory in Functional Programming
The main talk starts at 10:16
This month, Angelo Genovese will introduce a few of the str...
published: 25 Sep 2015
2015-09 Category Theory in Functional Programming
2015-09 Category Theory in Functional Programming
- Report rights infringement
- published: 25 Sep 2015
- views: 725
1:45
Category Theory - Dr Richard Garner - Macquarie University
http://www.mq.edu.au/ Dr Garner's research is in the mathematical discipline of category ...
published: 06 Oct 2011
Category Theory - Dr Richard Garner - Macquarie University
Category Theory - Dr Richard Garner - Macquarie University
- Report rights infringement
- published: 06 Oct 2011
- views: 7025
36:35
PNWS 2014 - What every (Scala) programmer should know about category theory
By, Gabriel Claramunt
Aren't you tired of just nodding along when your friends starts tal...
published: 15 Dec 2014
PNWS 2014 - What every (Scala) programmer should know about category theory
PNWS 2014 - What every (Scala) programmer should know about category theory
- Report rights infringement
- published: 15 Dec 2014
- views: 2604
31:05
John Bender: Faster JavaScript with Category Theory
Math: It's certainly not something you expect to see at a conference about JavaScript, but...
published: 16 Nov 2012
John Bender: Faster JavaScript with Category Theory
John Bender: Faster JavaScript with Category Theory
- Report rights infringement
- published: 16 Nov 2012
- views: 4762
Category Theory Foundations, Lecture 1...
Category Theory Foundations, Lecture 2...
Category Theory: The Beginner’s Introduction (Less...
Category Theory by Tom LaGatta...
Introduction to Category Theory 1...
Category Theory, The essence of interface-based de...
Category Theory Lulz - Ken Scambler...
Category theory: a framework for reasoning...
2015-09 Category Theory in Functional Programming...
Category Theory - Dr Richard Garner - Macquarie Un...
PNWS 2014 - What every (Scala) programmer should k...
John Bender: Faster JavaScript with Category Theor...
photo: Creative Commons / Lip Kee Yap
Man fends off crocodiles with tools after friend drowns
Edit BBC News 18 May 2016
A 72-year-old man has told rescuers how he battled crocodiles with a spanner and spark plugs after watching his friend drown in northern Australia. The pair were catching mud crabs when one of the reptiles capsized their 3m (10ft) "tinny" boat at Leaders Creek in Darwin on Tuesday morning ... Share this story About sharing. ....
photo: Creative Commons / David Torres Costales / @DavoTC
Mount Everest isn’t actually the tallest mountain – Ecuador’s Chimborazo beats it
Edit The Independent 17 May 2016
Mount Everest is actually beaten out by Chimborazo, in Ecuador ... Read more ....
photo: AP / Elaine Thompson
“In New Republican Party We Trust” As Democrats Face Contested Convention
Edit WorldNews.com 18 May 2016
Article by WN.com Correspondent Dallas DarlingIt was Benjamin Franklin who wrote the sardonic proverb. “In this world nothing can be said to be certain, except death and taxes.” Though Benjamin Franklin referred to the permanence of the new Constitution, the same can be said of this year’s presidential primary race ... To be sure, Sen ... Consequently, Republican elites know this and are grudgingly getting behind him before being trampled....
photo: NASA / JPL-Caltech/DLR
Ocean on Jupiter’s moon may harbour life: Nasa
Edit The Times of India 18 May 2016
WASHINGTON. The Europa ocean on Jupiter's icy moon may have the Earth-like balance of chemical energy necessary for life, even if the moon lacks volcanic hydrothermal activity, a new Nasa study suggests. Europa is strongly believed to hide a deep ocean of salty liquid water beneath its icy shell ... The answer may hinge on whether Europa has environments where chemicals are matched in the right proportions to power biological processes....
photo: AP / David Becker
Bernie Sanders wins Oregon Democratic primary
Edit The Times Picayune 18 May 2016
Bernie Sanders has won the Democratic presidential primary in Oregon after finishing neck-and-neck with front-runner Hillary Clinton in Kentucky. The win for Sanders adds to his run of successes in the end stage of the Democratic primaries, but it won't do much to slow Clinton's march toward the nomination ... Clinton will win at least 24 ... . . ....
« back to news headlines
Mathematics is a piece of cake
Edit Deccan Herald 12 May 2016
She is a theoretical mathematician who works in a rarefied field called category theory, which is so abstract that “even some pure mathematicians think it goes too far,” Cheng said ... School of the Art Institute of Chicago, where she teaches math to art students, lectures widely and continues her research in category theory on the side....
Good and bad people in government
Edit The Malta Independent 13 Mar 2016
In decision-making theory, they say that the best decision is the right decision; the next best decision is the wrong decision while the worse decision is not deciding at all ... Ethical theory is usually divided into objective and subjective ethics ... Objective ethical theory usually falls into five categories ... The Ten Commandments would fall under this theory....
Five IU Bloomington assistant professors named Outstanding Junior Faculty (Indiana University Bloomington)
Edit Public Technologies 18 Feb 2016
Snyder's research interests focus on quantum groups, tensor categories, low-dimensional topology and subfactors. His work involves several mathematical theories including the theory of subfactors, the Jones theory of planar algebras, the theory of fusion categories and the theory of polynomial knot invariants....
Foreword
Edit Huffington Post 04 Jan 2016
The traditional lens tries to place Confucianism into an established Western religious category ... As such, it has frequently been reinterpreted using "alien" categories and theories ... In my view, we should be both fearless about adopting Western categories and persistent in our commitment to the Confucian philosophical core....
Advancing the Design and Modeling of Complex Systems (DARPA - Defense Advanced Research Projects Agency) ...
Edit Public Technologies 20 Nov 2015
Applied mathematics, especially in category theory, algebraic geometry and topology, and sheaf theory Operations research, control theory and planning, especially in stochastic and non-linear control Modeling and applications responsive to challenges in battlefield medicine logistics and platforms, adaptive logistics, reliability, and maintenance Search and rescue platforms and modeling Adaptive and resilient urban infrastructure....
Maths Week: Pianist on a numerical mission
Edit The Irish Times 14 Oct 2015
Dr Eugenia Cheng is a woman on a mission. She wants to end people’s fearfulness of mathematics and uses music and the baking of cupcakes to accomplish this ... “For me the beauty of maths is how ideas fit together. You can use very simple ideas to build complicated ideas.” ... Dr Cheng is currently Scientist in Residence at the School of the Art Institute of Chicago and tries to demystify maths in her book, Cakes, Custard and Category Theory....
Maths Week: Pianist on a mission to banish fear of numbers
Edit The Irish Times 14 Oct 2015
Dr Eugenia Cheng is a woman on a mission. She wants to end people’s fearfulness of mathematics and uses music and the baking of cupcakes to accomplish this ... “For me the beauty of maths is how ideas fit together. You can use very simple ideas to build complicated ideas.” ... Dr Cheng is currently Scientist in Residence at the School of the Art Institute of Chicago and tries to demystify maths in her book, Cakes, Custard and Category Theory....
Dev Patel, all is forgiven for ‘Chappie’ with ‘The Man Who Knew Infinity’
Edit New York Post 17 Sep 2015
“The Man Who Knew Infinity’’ may not be in the same rarified category as “The Theory of Everything’’ and “The Imitation Game,’’ but it’s a thoroughly engrossing story about an uneducated clerk from Madras, India, whose brilliance created a sensation at Cambridge University in 1914 ... ....
U.S. Commerce Department Gives Small Businesses $3.2 Million for innovation Research (US Department of Commerce) ...
Edit Public Technologies 07 Sep 2015
(Source. US Department of Commerce). The U.S ... The businesses, which range in size from one to 24 employees, will receive Phase I or Phase II funding through NIST's Small Business Innovation Research (SBIR) program ... Commerce Secretary Penny Pritzker ... May ... AdSem, Inc ... Category-Theoretic Tool for Manufacturing-related Information-a tool based on category theory that can be used to solve manufacturing-related information-integration problems....
Book Rack
Edit Deccan Herald 29 Aug 2015
Mr Mac and Me. Esther Freud. Bloomsbury, 2015, pp 296, 399. It is 1914, and Thomas Maggs lives with his parents and sister in a village on the Suffolk coast. Then one day a mysterious Scotsman arrives. Mac is what the locals call him, but he is the architect Charles Rennie Mackintosh, and together with his artist wife, he soon becomes a source of wonder to Thomas. The Vital Question. Nick Lane ... Sudhir Kakar ... Cakes, Custard + Category Theory ... ....
DFB workshop and master-class (RFS - Football Union of Russia)
Edit Public Technologies 03 Aug 2015
(Source ... PHOTO ... Among other issues the German speakers made presentations on the education programs on various DFB licenses, principles of the players' training and exercises for different age categories. The theory was combined with practical tasks ... PHOTO distributed by ... (noodl. 29316641) ....
The mystery of the missing money, part 1
Edit Financial Times 12 Mar 2015
Those with the patience to pore over balance of payments data occasionally get rewarded with surprising nuggets of insight. As a case in point, a new note from Deutsche Bank points us to the mysteries contained in the “net errors and omissions” category. In theory, mistakes that occur each quarter should cancel each other out ... The mystery of the missing money, part 1 (© The Financial Times Limited 2015)....
Bafta predictions 2015: who will win tonight's big prizes?
Edit The Guardian 08 Feb 2015
We’re a theory about who might win … PR Photograph ... Tonight’s results are likely, of course, to bias Brits – this will likely be most vividly felt in the acting category, where The Theory of Everything’s Eddie Redmayne will likely repeat his SAG trick and trump Birdman star and Oscar fave Michael Keaton (both films have 10 nominations here) ... Perhaps the least predictable category....
- 1
- 2
- 3
- 4
- 5
- Next page »
