jrpie-notes/algebra
Archived
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity

migrate trivial to new fancythm version

Browse source
This commit is contained in:
Maximilian Keßler 2022-02-16 02:08:26 +01:00
parent d2b155bf73
commit 915683c2c3
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
2021_Algebra_I.tex
View file

@ -2305,9 +2305,9 @@ If $P_e $ with $e < d$ was $\neq 0$, it could not be a multiple of $P$ contradic
The bijectivity of the $\phi_{U, (U_i)_{i \in I}}$ is called the \vocab{sheaf axiom}. The bijectivity of the $\phi_{U, (U_i)_{i \in I}}$ is called the \vocab{sheaf axiom}.
\end{definition} \end{definition}
\begin{dtrivial} \begin{trivial}+
A presheaf is a contravariant functor $\mathcal{G} : \mathcal{O}(X) \to C$ where $\mathcal{O}(X)$ denotes the category of open subsets of $X$ with inclusions as morphisms and $C$ is the category of sets, rings or (abelian) groups. A presheaf is a contravariant functor $\mathcal{G} : \mathcal{O}(X) \to C$ where $\mathcal{O}(X)$ denotes the category of open subsets of $X$ with inclusions as morphisms and $C$ is the category of sets, rings or (abelian) groups.
\end{dtrivial} \end{trivial}
\begin{definition} \begin{definition}
A subsheaf $\mathcal{G}'$ is defined by subsets (resp. subrings or subgroups) $\mathcal{G}'(U) \subseteq \mathcal{G}(U)$ for all open $U \subseteq X$ such that the sheaf axioms still hold. A subsheaf $\mathcal{G}'$ is defined by subsets (resp. subrings or subgroups) $\mathcal{G}'(U) \subseteq \mathcal{G}(U)$ for all open $U \subseteq X$ such that the sheaf axioms still hold.
\end{definition} \end{definition}