History of tag 09W8
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 09W8
|
2014-01-05 |
8cd7a81
|
Tags: Added new tags
|
|
created statement with label remark-localization-cartesian-cocontinuous in sites.tex
|
2013-12-31 |
c5d328f |
New condition on cocontinuous functors
In this commit we introduce an additional property a cocontinuous
functor u : C ---> D between sites could have. The property is roughly
that one can ``pull back'' coverings to coverings along u. This
property is often satisfied in practice (for example localization
functors always satisfy it) and had so far escaped our attention. It is
useful in the setting of simplicial sites defined using cocontinuous
functors (see next commit).
|