Pointed set

Algebraic structures | Category theory | Basic concepts in set theory

In mathematics, a pointed set (also based set or rooted set) is an ordered pair where is a set and is an element of called the base point, also spelled basepoint. Maps between pointed sets and – called based maps, pointed maps, or point-preserving maps – are functions from to that map one basepoint to another, i.e. a map such that . This is usually denoted . Pointed sets are very simple algebraic structures. In the sense of universal algebra, a pointed set is a set together with a single nullary operation which picks out the basepoint. Pointed maps are the homomorphisms of these algebraic structures. The class of all pointed sets together with the class of all based maps form a category. In this category the pointed singleton sets are initial objects and terminal objects, i.e. they are zero objects. There is a faithful functor from pointed sets to usual sets, but it is not full and these categories are not equivalent. In particular, the empty set is not a pointed set because it has no element that can be chosen as the basepoint. The category of pointed sets and based maps is equivalent to the category of sets and partial functions. The base point serves as a "default value" for those arguments for which the partial function is not defined. One textbook notes that "This formal completion of sets and partial maps by adding 'improper', 'infinite' elements was reinvented many times, in particular, in topology (one-point compactification) and in theoretical computer science." The category of pointed sets and pointed maps is isomorphic to the coslice category, where is (a functor selecting) a singleton set, and (the identity functor of) the category of sets. This coincides with the algebraic characterization, since the unique map extends the commutative triangles defining arrows of the coslice category to form the commutative squares defining homomorphisms of the algebras. The category of pointed sets and pointed maps has both products and coproducts, but it is not a distributive category. It is also an example of a category where is not isomorphic to . Many algebraic structures are pointed sets in a rather trivial way. For example, groups are pointed sets by choosing the identity element as the basepoint, so that group homomorphisms are point-preserving maps. This observation can be restated in category theoretic terms as the existence of a forgetful functor from groups to pointed sets. A pointed set may be seen as a pointed space under the discrete topology or as a vector space over the field with one element. As "rooted set" the notion naturally appears in the study of antimatroids and transportation polytopes. (Wikipedia).

Introduction to Sets and Set Notation

This video defines a set, special sets, and set notation.

From playlist Sets (Discrete Math)

Introduction to sets || Set theory Overview - Part 1

A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty

From playlist Set Theory

Set Game

SET is an awesome game that really gets your brain working. Play it! Read more about SET here: http://theothermath.com/index.php/2020/03/27/set/

From playlist Games and puzzles

Introduction to sets || Set theory Overview - Part 2

From playlist Set Theory

Introduction to Set Theory

This video introduces the basic vocabulary used in set theory. http://mathispower4u.wordpress.com/

From playlist Sets

Introduction to Set Theory (Discrete Mathematics)

Introduction to Set Theory (Discrete Mathematics) This is a basic introduction to set theory starting from the very beginning. This is typically found near the beginning of a discrete mathematics course in college or at the beginning of other advanced mathematics courses. ***************

From playlist Set Theory

Introduction to Set Theory (2 of 3: Set Operators)

From playlist Exploring Mathematics: Set Theory

Determine Sets Given Using Set Notation (Ex 2)

This video provides examples to describing a set given the set notation of a set.

From playlist Sets (Discrete Math)

What is a Ray and how do we label one

👉 Learn essential definitions of points, lines, and planes. A point defines a position in space. A line is a set of points. A line can be created by a minimum of two points. A plane is a flat surface made up of at least three points. A plane contains infinite number of lines. A ray is a li

From playlist Points Lines and Planes

What is a Manifold? Lesson 2: Elementary Definitions

This lesson covers the basic definitions used in topology to describe subsets of topological spaces.

From playlist What is a Manifold?

What is a Manifold? Lesson 3: Separation

He we present some alternative topologies of a line interval and then discuss the notion of separability. Note the error at 4:05. Sorry! If you are viewing this on a mobile device, my annotations are not visible. This is due to a quirck of YouTube.

From playlist What is a Manifold?

Real Analysis Ep 14: Closed sets

Episode 14 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is about closed sets of real numbers. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/courses/2020f3371/ Chris Staecker webpage: http://f

From playlist Math 3371 (Real analysis) Fall 2020

Real Analysis Ep 15: Closure of a set

Episode 15 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is about the closure of a set. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/courses/2020f3371/ Chris Staecker webpage: http://faculty.f

From playlist Math 3371 (Real analysis) Fall 2020

Worldwide Calculus: Level Sets & Gradient Values

Lecture on 'Level Sets & Gradient Values' from 'Worldwide Multivariable Calculus'. For more lecture videos and $10 digital textbooks, visit www.centerofmath.org.

From playlist Multivariable Derivatives

What is a Manifold? Lesson 6: Topological Manifolds

Topological manifolds! Finally! I had two false starts with this lesson, but now it is fine, I think.

From playlist What is a Manifold?

Lecture 2 | Convex Optimization I (Stanford)

Guest Lecturer Jacob Mattingley covers convex sets and their applications in electrical engineering and beyond for the course, Convex Optimization I (EE 364A). Convex Optimization I concentrates on recognizing and solving convex optimization problems that arise in engineering. Convex se

From playlist Lecture Collection | Convex Optimization

What is a Manifold? Lesson 1: Point Set Topology and Topological Spaces

This will begin a short diversion into the subject of manifolds. I will review some point set topology and then discuss topological manifolds. Then I will return to the "What is a Tensor" series. It has been well over a year since we began this project. We now have a Patreon Page: https

From playlist What is a Manifold?

All About Closed Sets and Closures of Sets (and Clopen Sets) | Real Analysis

We introduced closed sets and clopen sets. We'll visit two definitions of closed sets. First, a set is closed if it is the complement of some open set, and second, a set is closed if it contains all of its limit points. We see examples of sets both closed and open (called "clopen sets") an

From playlist Real Analysis

IE513 20110216 LECTURE09n Convexity, hyperplanes, half spaces

From playlist Bilkent: IE 513 | CosmoLearning.org

What is a Set Complement?

What is the complement of a set? Sets in mathematics are very cool, and one of my favorite thins in set theory is the complement and the universal set. In this video we will define complement in set theory, and in order to do so you will also need to know the meaning of universal set. I go

From playlist Set Theory

Pointed set

Related pages