Subcategory

Imagine a big group of shapes. You can pick some of those shapes. You can also pick some lines between them. This makes a smaller group.

This small group is called a subcategory. It uses the same rules as the big one. It works just like the whole thing.

You can choose to keep all the lines. This is called a full subcategory. If you leave some lines out, it is not full.

Some small groups use all the shapes. These are called wide groups. They are still part of the big group.

Math helps us look at these parts. It shows how small things fit in big things.

Imagine a large collection of things. These things have paths or arrows between them. In math, we call this a category. You can pick a smaller group from this big set. This smaller group is called a subcategory.

To make a subcategory, you pick some objects. You also pick some arrows. These arrows must follow the same rules as the big group. For example, if two arrows join together, that new path must also be in your small group.

A subcategory can be "full." This means you keep every single arrow between the objects you picked. If you leave some arrows out, it is not a full subcategory.

Some subcategories are "wide." A wide subcategory keeps every object from the big group. It only picks some of the arrows.

Math uses these ideas to study how parts fit into wholes. For example, the category of finite sets is a full subcategory of all sets. This helps math experts see how small patterns live inside big ones.

Imagine a giant collection of items. These items have special paths or arrows between them. In math, we call this whole collection a category. Sometimes, we want to look at just a small part of that collection. This smaller part is called a subcategory. A subcategory is made by taking some objects and some arrows from the big category. It is like picking a few players from a large team. You must follow the same rules as the main team. This keeps the small group working in the same way.

To make a subcategory work, you must follow three main rules. First, every object you pick must have its own identity arrow. Second, if you pick an arrow, its start and end points must also be in your small group. Third, if two arrows connect to make a new path, that new path must stay in your group. These rules ensure the subcategory is a real category on its own. We use an inclusion functor to move things from the small group to the big one. This is a way to show how the parts fit into the whole. It treats the small items exactly as they are in the large group.

There are different ways to build these smaller groups. A full subcategory is one where you keep every single arrow between your chosen objects. If you leave even one arrow out, it is not a full subcategory. Some subcategories are called wide or "lluf." The term "lluf" was first used by a mathematician named Peter Freyd. A wide subcategory keeps every single object from the big category. However, it usually only keeps some of the arrows. This creates a special kind of balance between objects and paths.

Math experts use these ideas to group similar things together. For example, the category of finite sets is a full subcategory of all sets. You can also look at abelian groups. These form a full subcategory of all groups. Another example involves rings and rngs. The category of rings is a non-full subcategory of rngs. In other areas, vector spaces form a full subcategory of modules. These examples show how math layers different ideas on top of each other.

These ideas help us understand how structures relate to one another. We can talk about embeddings to show how one category fits inside another. An embedding can be full and faithful. This means it preserves the objects and the connections very carefully. Some mathematicians even study Serre subcategories. These come from the work of Serre and his C-theory. They are special full subcategories found in abelian categories. By using subcategories, mathematicians can study small, simple pieces of a much larger puzzle.

In the field of mathematics known as category theory, researchers study how different structures relate to one another. One way to study these relationships is through a concept called a subcategory. A subcategory is essentially a smaller collection of mathematical items taken from a larger collection. The larger collection is called a category. A category consists of objects and morphisms, which are often visualized as arrows connecting those objects. A subcategory is formed by selecting a specific subset of those objects and a specific subset of those morphisms.

To ensure that a subcategory functions correctly, it must follow three strict rules of composition. First, every object chosen for the subcategory must include its own identity morphism. An identity morphism is a special arrow that starts and ends at the same object without changing it. Second, if you choose a morphism to be in your subcategory, both its source and its target must also be included in your collection of objects. Third, if two morphisms in your subcategory can be combined to form a composite morphism, that resulting path must also exist within the subcategory. These rules guarantee that the subcategory remains a valid category in its own right. It maintains the same identities and the same way of combining paths as the original category.

Mathematicians categorize subcategories into different types based on how many arrows they contain. A full subcategory is a specific type where you include every single morphism that exists between your chosen objects in the original category. If you pick a group of objects but leave out some of the arrows that connect them, you have created a non-full subcategory. There is also a concept called a wide subcategory, also known as a "lluf" subcategory. This term was first proposed by the mathematician Peter Freyd. A wide subcategory is unique because it contains every single object from the original category, though it typically only keeps some of the morphisms. Because of this, a wide subcategory is usually not a full subcategory unless it is the original category itself.

There are other specialized ways to define these collections. An isomorphism-closed subcategory, or a replete subcategory, is one where any object that is isomorphic to an object in the subcategory is also included. If a full subcategory is also isomorphism-closed, it is called a strictly full subcategory. In the context of abelian categories, mathematicians use Serre subcategories. These are non-empty full subcategories that relate to Serre's C-theory. A Serre subcategory follows a specific rule involving short exact sequences. Specifically, an object belongs to the subcategory if and only if both its parts in a sequence also belong to it.

We can see these concepts in action through several mathematical examples. For instance, the category of finite sets is a full subcategory of the category of all sets. Another example involves groups. The category of abelian groups forms a full subcategory of the category of all groups. We can also look at the relationship between rings and rngs. The category of rings, which uses unit-preserving ring homomorphisms, is a non-full subcategory of the category of rngs. Finally, for any field, the category of vector spaces acts as a full subcategory of the category of modules.

Another important concept is the embedding, which describes how one category is placed into another. An inclusion functor is a way to map a subcategory into its parent category by taking objects and morphisms to themselves. This functor is always faithful and injective on objects. Different authors have slightly different definitions for an embedding. Some define it as a full and faithful functor. Others define it as a functor that is faithful and injective on objects. If a functor is both full and an embedding, it is called a full embedding. These embeddings allow mathematicians to see the image of one category as a structured part of another.

Subcategories allow mathematicians to simplify complex systems by focusing on specific parts. By choosing the right subcategory, a researcher can study a specialized area without losing the rules of the larger system. Whether looking at the relationship between modules and vector spaces or studying the properties of Serre subcategories, this method provides a way to organize mathematical thought. It helps turn a massive, overwhelming category into manageable, well-defined pieces.