In mathematics, more specifically in category theory, internal categories are a generalisation of the notion of small category, and are defined with respect to a fixed . If the ambient category is taken to be the category of sets then one recovers the theory of small categories. In general, internal categories consist of a pair of objects in the ambient category—thought of as the 'object of objects' and 'object of morphisms'—together with a collection of morphisms in the ambient category satisfying certain identities. Group objects, are common examples of internal categories. There are notions of internal functors and natural transformations that make the collection of internal categories in a fixed category into a 2-category. (Wikipedia).
Reliability 1: External reliability and rater reliability and agreement
In this video, I discuss external reliability, inter- and intra-rater reliability, and rater agreement.
From playlist Reliability analysis
From playlist Courses and Series
What are four types of polygons
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
What are the names of different types of polygons based on the number of sides
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
What is the difference between convex and concave
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
What is a polygon and what is a non example of a one
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
What is the definition of a regular polygon and how do you find the interior angles
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons
"Interior and exterior angles of regular and irregular polygons."
From playlist Shape: Angles
Inernal Languages for Higher Toposes - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics October 3, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Tom Leinster : The categorical origins of entropy
Recording during the thematic meeting : "Geometrical and Topological Structures of Information" the August 29, 2017 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent
From playlist Geometry
Paul-André Melliès - A gentle introduction to template games and linear logic
Game semantics is the art of interpreting formulas (or types) as games and proofs (or programs) as strategies. In order to reflect the interactive behaviour of pro- grams, strategies are required to follow specific scheduling policies. Typically, in the case of a sequential programming lan
From playlist Combinatorics and Arithmetic for Physics: Special Days 2022
A topos-theoretic view of difference algebra
From playlist Workshop on Model Theory, Differential/Difference Algebra, and Applications
Joshua Wrigley - The Logic and Geometry of Localic Morphisms
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/WrigleySlidesToposesOnline.pdf In this presentation, a substitutive syntactic site for the classifying topos of a ge
From playlist Toposes online
Cohomology in difference algebra and geometry We view difference algebra as the study of algebraic objects in the topos of difference sets, i.e., as `ordinary algebra’ in a new universe. The methods of topos theory and categorical logic enable us to develop difference homological algebra,
From playlist DART X
David Michael ROBERTS - Class forcing and topos theory
It is well-known that forcing over a model of material set theory co rresponds to taking sheaves over a small site (a poset, a complete Boolean algebra, and so on). One phenomenon that occurs is that given a small site, all new subsets created are smaller than a fixed bound depending on th
From playlist Topos à l'IHES
First examples of cluster structures on coordinate algebras... (Lecture 3) by Maitreyee Kulkarni
PROGRAM :SCHOOL ON CLUSTER ALGEBRAS ORGANIZERS :Ashish Gupta and Ashish K Srivastava DATE :08 December 2018 to 22 December 2018 VENUE :Madhava Lecture Hall, ICTS Bangalore In 2000, S. Fomin and A. Zelevinsky introduced Cluster Algebras as abstractions of a combinatoro-algebra
From playlist School on Cluster Algebras 2018
Steve Awodey: Type theories and polynomial monads
Abstract: A system of dependent type theory T gives rise to a natural transformation p : Terms → Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : Ctxˆ → Ctxˆ on the category of all presheaves. It
From playlist Topology
Simplicial Types - Peter Lumsdaine
Peter Lumsdaine Dalhousie University; Member, School of Mathematics January 16, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1
From playlist Classify Polygons