Definition 6.15.1 (007M)—The Stacks project

Processing math: 100%

Definition 6.15.1. A type of algebraic structure is given by a category $\mathcal{C}$ and a functor $F : \mathcal{C} \to \textit{Sets}$ with the following properties

$F$ is faithful,
$\mathcal{C}$ has limits and $F$ commutes with limits,
$\mathcal{C}$ has filtered colimits and $F$ commutes with them, and
$F$ reflects isomorphisms.

Comments (0)

There are also:

3 comment(s) on Section 6.15: Algebraic structures

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment