WikiNow lets you discover the news you care about, follow the topics that matter to you and share your favourite stories with your friends.

© WikiNow

No recent news found for categorical quotient

In algebraic geometry, given a category C, a categorical quotient of an object X with action of a group G is a morphism



π
:
X

Y


{\displaystyle \pi :X\to Y}
that

In algebraic geometry, given a category C, a categorical quotient of an object X with action of a group G is a morphism that

(i) is invariant; i.e., where is the given group action and p2 is the projection.
(ii) satisfies the universal property: any morphism satisfying (i) uniquely factors through .

One of the main motivations for the development of geometric invariant theory was the construction of a categorical quotient for varieties or schemes.

Note need not be surjective. Also, if it exists, a categorical quotient is unique up to a canonical isomorphism. In practice, one takes C to be the category of varieties or the category of schemes over a fixed scheme. A categorical quotient is a universal categorical quotient if it is stable under base change: for any , is a categorical quotient.

A basic result is that geometric quotients (e.g., ) and GIT quotients (e.g., ) are categorical quotients.

Interview with a Data Analyst

This video is part of the Udacity course "Intro to Programming". Watch the full course at https://www.udacity.com/course/ud000.

Introduction to Category Theory 1

Lectures on elementary category theory: part 1.

Location Quotient 2 - Manufacturing

How I made a map of the Location Quotient for Manufacturing for my GEOG 3510 Cartography Lab Class.

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms.

Abstract Algebra:L2, subgroups and modular examples, 8-31-16

How to categorize data by age group

How to categorize data by age group using Index and Match function in excel...