Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Leonard Guetta
memoire
Commits
439a60a7
Commit
439a60a7
authored
Oct 27, 2020
by
Leonard Guetta
Browse files
edited a few typos in chapter 2. Did not yet do what said in previous commit
parent
2ac942db
Changes
2
Show whitespace changes
Inline
Side-by-side
homtheo.tex
View file @
439a60a7
...
...
@@ -44,7 +44,7 @@ is poorly behaved. For example, \fi
\gamma
^
*
:
\underline
{
\Hom
}
(
\ho
(
\C
)
,
\D
)
\to
\underline
{
\Hom
}
(
\C
,
\D
)
\]
is fully faithful and its essential image consists of functors
$
F~:~
\C
~
\to
~
\D
$
that sends morphism of
$
\W
$
to isomorphisms of
$
\D
$
.
that sends
the
morphism
s
of
$
\W
$
to isomorphisms of
$
\D
$
.
We shall always consider that
$
\C
$
and
$
\ho
(
\C
)
$
have the same class of
objects and implicitly use the equality
...
...
@@ -90,7 +90,7 @@ For later reference, we put here the following definition.
is commutative. Let
$
G :
(
\C
,
\W
)
\to
(
\C
',
\W
'
)
$
be another morphism of
localizers. A
\emph
{$
2
$
\nbd
{}
morphism of localizers
}
from
$
F
$
to
$
G
$
is simply a
natural transformation
$
\alpha
: F
\Rightarrow
G
$
. The universal property of
the localization implies that there exists a
canonical
natural transformation
the localization implies that there exists a
unique
natural transformation
\[
\begin
{
tikzcd
}
\ho
(
\C
)
\ar
[
r,bend left,"
\overline
{
F
}
",""
{
name
=
A,below
}
]
\ar
[
r,bend right,"
\overline
{
G
}
"',""
{
name
=
B,above
}
]
&
\ho
(
\C
'
)
...
...
@@ -109,8 +109,8 @@ For later reference, we put here the following definition.
\end{paragr}
\begin{remark}
\label
{
remark:localizedfunctorobjects
}
Since we always consider that for every localizer
$
(
\C
,
\W
)
$
the categories
$
\C
$
and
$
\ho
(
\C
)
$
have the same objects and the localization functor is the
identity on objects, it follows that for a morphism of localizer
${
F :
(
\C
,
\W
)
and
$
\ho
(
\C
)
$
have the same
class of
objects and the localization functor is the
identity on objects, it follows that for a morphism of localizer
s
${
F :
(
\C
,
\W
)
\to
(
\C
',
\W
'
)
}$
, we tautologically have
\[
\overline
{
F
}
(
X
)=
F
(
X
)
...
...
main.pdf
View file @
439a60a7
No preview for this file type
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment