General topology | Categories in category theory

Category of topological spaces

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology. N.B. Some authors use the name Top for the categories with topological manifolds, with compactly generated spaces as objects and continuous maps as morphisms or with the category of compactly generated weak Hausdorff spaces. (Wikipedia).

Video thumbnail

Topology: Topological Spaces

This video is about topological spaces and some of their basic properties.

From playlist Basics: Topology

Video thumbnail

Definition of a Topological Space

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Definition of a Topological Space

From playlist Topology

Video thumbnail

Introduction to Metric Spaces

Introduction to Metric Spaces - Definition of a Metric. - The metric on R - The Euclidean Metric on R^n - A metric on the set of all bounded functions - The discrete metric

From playlist Topology

Video thumbnail

Topological Spaces: Introduction & Axioms

The first video in a new series on topological spaces and manifolds.

From playlist Topology & Manifolds

Video thumbnail

Topology: Metric Spaces

This video is about metric spaces and some of their basic properties.

From playlist Basics: Topology

Video thumbnail

What is a metric space ?

Metric space definition and examples. Welcome to the beautiful world of topology and analysis! In this video, I present the important concept of a metric space, and give 10 examples. The idea of a metric space is to generalize the concept of absolute values and distances to sets more gener

From playlist Topology

Video thumbnail

Hausdorff Example 3: Function Spaces

Point Set Topology: For a third example, we consider function spaces. We begin with the space of continuous functions on [0,1]. As a metric space, this example is Hausdorff, but not complete. We consider Cauchy sequences and a possible completion.

From playlist Point Set Topology

Video thumbnail

Metric spaces -- Proofs

This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.

From playlist Proofs

Video thumbnail

Topological Spaces: The Subspace Topology

Today, we discuss the subspace topology, which is a useful tool to construct new topologies.

From playlist Topology & Manifolds

Video thumbnail

Lecture 7: Sheaves of sets (Part 2)

The most important examples of topoi are categories of sheaves of sets on a small category. Patrick Eilliott introduced this class of examples over two talks, of which is the second. In this talk he defines Grothendieck topologies and the category of sheaves on a site, and develops the exa

From playlist Topos theory seminar

Video thumbnail

Clark Barwick - 3/3 Exodromy for ℓ-adic Sheaves

In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞-category of constructible ℓ-adic sheaves ’is’ the ∞-category of continuous functors from an explicitly defined 1-category to the ∞-category of perfect complexes over ℚℓ. In this series of talks, I want to offer s

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Laurent Lafforgue - 1/4 Classifying toposes of geometric theories

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/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose

From playlist Toposes online

Video thumbnail

Clark Barwick - 2/3 Exodromy for ℓ-adic Sheaves

In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞-category of constructible ℓ-adic sheaves ’is’ the ∞-category of continuous functors from an explicitly defined 1-category to the ∞-category of perfect complexes over ℚℓ. In this series of talks, I want to offer s

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS

The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t

From playlist Introduction to Homotopy Theory

Video thumbnail

The rising sea: Grothendieck on simplicity and generality - Colin McLarty [2003]

Slides for this talk: https://drive.google.com/file/d/1yDmqhdcKo6-YpDpRdHh2hvuNirZVbcKr/view?usp=sharing Notes for this talk: https://drive.google.com/open?id=1p45B3Hh8WPRhdhQAd0Wq0MvmY0JYSnmc The History of Algebra in the Nineteenth and Twentieth Centuries April 21 - 25, 2003 Colin Mc

From playlist Mathematics

Video thumbnail

Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]

Grothendieck's 1973 topos lectures Colin McLarty 3 mai 2018 In the summer of 1973 Grothendieck lectured on several subjects in Buffalo NY, and these lectures were recorded, including 33 hours on topos theory. The topos lectures were by far the most informal of the series, with the most si

From playlist Number Theory

Video thumbnail

Jezus Gonzalez (6/25/17) Bedlewo: Topological complexity and the motion planning problem in robotics

Early this century Michael Farber introduced the concept of Topological Complexity (TC), a model to study the continuity instabilities in the motion planning problem in robotics. Farber’s model has captured much attention since then due to the rich algebraic topology properties encoded by

From playlist Applied Topology in Będlewo 2017

Video thumbnail

What is a Manifold? Lesson 5: Compactness, Connectedness, and Topological Properties

The last lesson covering the topological prep-work required before we begin the discussion of manifolds. Topics covered: compactness, connectedness, and the relationship between homeomorphisms and topological properties.

From playlist What is a Manifold?

Video thumbnail

Étale cohomology lecture 3, August 27, 2020

Sites and sheaves, the étale and fppf site, representable functors

From playlist Étale cohomology and the Weil conjectures

Related pages

Complete category | Category of sets | Topological manifold | Topological space | Inverse function | Inverse limit | Homeomorphism | Codomain | Isomorphism | Initial topology | Sober space | Forgetful functor | Topos | Preadditive category | Exponential object | Category of compactly generated weak Hausdorff spaces | Cone (category theory) | Product (category theory) | Empty set | Direct limit | Hausdorff space | Disjoint union (topology) | Final topology | Dense set | Pushout (category theory) | Diagram (category theory) | Weak equivalence (homotopy theory) | Mathematics | Set (mathematics) | Coequalizer | Function (mathematics) | Equaliser (mathematics) | ∞-groupoid | Cartesian product | Category theory | Singleton (mathematics) | Zero morphism | Morphism | Product topology | Concrete category | Limit (category theory) | Monomorphism | Topological category | Quotient category | Fiber (mathematics) | Complete lattice | Cartesian closed category | Epimorphism | Subspace topology | Convergence space | Function composition | Homotopy hypothesis | Adjunction space | Compactly generated space | Image (mathematics)