Functors | Categories in category theory
In category theory, a branch of mathematics, a functor category is a category where the objects are the functors and the morphisms are natural transformations between the functors (here, is another object in the category). Functor categories are of interest for two main reasons: * many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable; * every category embeds in a functor category (via the Yoneda embedding); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting. (Wikipedia).
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Numeric Types in Python - Socratica #Shorts
Find our programming playlists here: Python: http://bit.ly/PythonSocratica SQL: http://bit.ly/SQL_Socratica Python instructor: Ulka Simone Mohanty (@ulkam on Twitter) Written & Produced by Michael Harrison #Python #Coding #Shorts
From playlist Python Programming Tutorials (Computer Science)
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Microsoft Excel
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Machine Learning
A review of the notes common to all formations of a G chord.
From playlist Music Lessons
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Computers
Simplify a rational expression
Learn how to simplify rational expressions. A rational expression is an expression in the form of a fraction where the numerator and/or the denominator are/is an algebraic expression. To simplify a rational expression, we factor completely the numerator and the denominator of the rational
From playlist Simplify Rational Expressions (Binomials) #Rational
Clojure - the Reader and Evaluator (4/4)
Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org
From playlist the Clojure language
Higher Algebra 6: Derived Functors
In this video, we define and discuss derived functors between derived categories of abelian categories. Additionally we discuss the notion of adjoint functors and Kan extensions. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.
From playlist Higher Algebra
Yonatan Harpaz - New perspectives in hermitian K-theory II
Warning: around 32:30 in the video, in the slide entitled "Karoubi's conjecture", a small mistake was made - in the third bulleted item the genuine quadratic structure appearing should be the genuine symmetric one (so both the green and red instances of the superscript gq should be gs), an
From playlist New perspectives on K- and L-theory
Charles Rezk - 1/4 Higher Topos Theory
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart1.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
This lecture is part of an online course on category theory. We define functors and give some examples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL
From playlist Categories for the idle mathematician
Higher Algebra 9: Symmetric monoidal infinity categories
In this video, we introduce the notion of a symmetric monoidal infinity categories and give some examples. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://www.uni-mu
From playlist Higher Algebra
Higher Algebra 7: Non-abelian derived functors
In this video, we discuss the notion of non-abelian derived functors and Animation. Along the way, we discuss the Yoneda lemma. Warning: The Yoneda exercises stated at 35:00 is a bit hard given the technology we have, so I recommend simply proving the analogous statement for ordinary cat
From playlist Higher Algebra
This lecture is part of an online course on categories. Any object of a category can be thought of as a representable functor in the category of presheaves. We give several examples of representable functors. Then we state Yoneda's lemma, which roughly that morphisms of objects are he sa
From playlist Categories for the idle mathematician
Yonatan Harpaz - New perspectives in hermitian K-theory III
For questions and discussions of the lecture please go to our discussion forum: https://www.uni-muenster.de/TopologyQA/index.php?qa=k%26l-conference This lecture is part of the event "New perspectives on K- and L-theory", 21-25 September 2020, hosted by Mathematics Münster: https://go.wwu
From playlist New perspectives on K- and L-theory
Clojure - the Reader and Evaluator (2/4)
Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org
From playlist the Clojure language
This lecture is part of an online course on category theory. We define adoint functors and give severalexamples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL
From playlist Categories for the idle mathematician