Login to filter by course Login to filter by course Reset
Covers the construction of push-outs in the category Ens and philosophical concepts of universality and co-universality.
Explains homotopy lifting, paths, proofs, constant paths, discrete spaces, and monomorphisms.
Explores the concept of direct sums in abelian groups, emphasizing the universal property and homomorphisms.
Explores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Explores the concept of (co)limits in homotopical algebra, discussing functor relations, special cases, and the universal properties of colimits and limits.
