Stable Homotopy Seminar, 8: The Stable Model Category of Spectra
We discuss the enrichment of spectra over spaces, and the compatibility of this enrichment with the model structure. Then we define the stable model structure by adding extra cofibrations to the levelwise model category of spectra, and restricting the weak equivalences to those maps which
From playlist Stable Homotopy Seminar
Stable Homotopy Seminar, 4: Model categories (Ivo Vekemans)
This talk by Ivo Vekemans is a thorough introduction to model categories, presenting: weak factorization systems; the definition of model category and major examples (simplicial sets, topological spaces, and chain complexes); notions of homotopy in a model category, and the homotopy catego
From playlist Stable Homotopy Seminar
Stable Homotopy Seminar, 7: Constructing Model Categories
A stroll through the recognition theorem for cofibrantly generated model categories, using it to construct (1) the Quillen/Serre model structure on topological spaces and (2) the levelwise model structure on spectra. The latter captures the idea that spectra are sequences of spaces, but no
From playlist Stable Homotopy Seminar
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
R - Structural Equation Model Basics Lecture 1
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basic terminology for structural equation modeling including: identification, scaling, variable types, manifest/latent variables, path coefficient types, endogenous/exogenous variables, degrees o
From playlist Structural Equation Modeling
Chloe Perin: Forking independence in the free group
The lecture was held within the framework of the Hausdorff Trimester Program: Logic and Algorithms in Group Theory. Abstract: Model theorists define, in structures whose first-order theory is "stable" (i.e. suitably nice), a notion of independence between elements. This notion coincides f
From playlist HIM Lectures: Trimester Program "Logic and Algorithms in Group Theory"
R - Hierarchical Models Examples
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This example video covers how to perform a first order CFA, second order CFA, and bi-factor CFA. Lavaan, semPath, and the cfa functions are covered, along with interpretation of the models and some guidance on how to pi
From playlist Structural Equation Modeling
The Atom A3 The Bohr Model of the Hydrogen Atom
The Bohr model of the atom.
From playlist Physics - The Atom
Duality In Higher Categories II by Pranav Pandit
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Stable Homotopy Seminar, 14: The stable infinity-category of spectra
I give a brief introduction to infinity-categories, including their models as simplicially enriched categories and as quasi-categories, and some categorical constructions that also make sense for infinity-categories. I then describe what it means for an infinity-category to be stable and h
From playlist Stable Homotopy Seminar
Stable Homotopy Seminar, 11: Stable Model Categories and Triangulated Categories
(Note: I messed up the first recording and had to re-record the first 20 minutes of this.) I show that cofiber sequences agree with fiber sequences in Spectra, or indeed in any pointed model category where suspension is invertible. The homotopy category of such a model category is a highly
From playlist Stable Homotopy Seminar
Stable Homotopy Seminar, 13: The Smash Product
I describe a bunch of desirable properties of the smash product on spectra, and then prove Lewis's theorem that no category of spectra has them. However, there are ways of sacrificing one or the other of the properties and getting something fairly well-behaved. The earliest attempts are Bo
From playlist Stable Homotopy Seminar
Daxin Xu - Parallel transport for Higgs bundles over p-adic curves
Faltings conjectured that under the p-adic Simpson correspondence, finite dimensional p-adic representations of the geometric étale fundamental group of a smooth proper p-adic curve X are equivalent to semi-stable Higgs bundles of degree zero over X. We will talk about an equivalence betwe
From playlist Franco-Asian Summer School on Arithmetic Geometry (CIRM)
Stable Homotopy Theory by Samik Basu
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
R - Structural Equation Model Basics Lecture 2
Lecturer: Dr. Erin M. Buchanan Missouri State University Summer 2016 This lecture covers the basic terminology for structural equation modeling including: identification, scaling, variable types, manifest/latent variables, path coefficient types, endogenous/exogenous variables, degrees o
From playlist Structural Equation Modeling
Flow on quiver representations, nested logarithms, and weight filtrations... - Fabian Haiden
Speaker:Fabian Haiden Topic: Flow on quiver representations, nested logarithms, and weight filtrations in artinian categories Affiliation: Harvard Date: November 11, 2016
From playlist Mathematics
Stable Homotopy Seminar, 9: Infinite Loop Spaces, and Homotopy Colimits
The fibrant spectra are the Ω-spectra, and we can give an elegant explicit description of the fibrant replacement. The "infinite loop space" functor, which is the derived right adjoint to the suspension spectrum, is then given by taking the 0th space of an equivalent Ω-spectrum. This allow
From playlist Stable Homotopy Seminar
Model Theory - part 08 - Syntactic Catgories
These are the categories where functors from these dudes are models... these take forever to define. On top of it, these end up just being friggin' definable sets and definable morphisms!! I remember being a place in here where there is a diagram which i say commutes but I need to actually
From playlist Model Theory
