From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Cocompletions of Categories
Date: Wed, 26 Nov 1997 13:42:29 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.971126134217.21258A-100000@mailserv.mta.ca> (raw)
Date: Wed, 26 Nov 97 10:19:37 +0100
From: Jiri Velebil <velebil@math.feld.cvut.cz>
Dear Colleagues,
I wonder whether the following description of a
free F-conservative completion of any category under
C-colimits (where F and C are classes of small categories
such that F is a subclass of C and "F-conservative"
means "preserving existing F-colimits").
The description of the cocompletion is as follows:
Suppose C is a class of small categories and F is
a subclass of C.
Let X be any category.
Denote by [X^op,Set] the quasicategory of all
functors and all natural transformations between them.
Denote by F^op-[X^op,Set] the quasicategory of all
functors which preserve F^op-limits, i.e. limits
of functors d : D -> X^op with D^op in F.
Claim 1.
F^op-[X^op,Set] is reflective in [X^op,Set]
(The proof uses the fact that the above Claim
holds for the case when X is small -
Korollar 8.14 in Gabriel, Ulmer: Lokal
pr"asentierbare Kategorien.)
By Claim 1., F^op-[X^op,Set] has all small colimits.
Denote by D(X) the closure of X (embedded by Yoneda)
in F^op-[X^op,Set] under C-colimits. Then one can
prove that D(X) is a legitimate category.
The codomain-restriction I: X -> D(X) of the
Yoneda embedding fulfills the following:
1. D(X) has C-colimits.
2. I preserves F-colimits.
3. D(X) has the following universal property:
for any functor H : X -> Y which preserves
F-colimits and the category Y has C-colimits
there is a unique (up to an isomorphism)
functor H* : D(X) -> Y such that H* preserves
C-colimits and H*.I = H.
In fact, this gives a 2-adjunction between
C-CAT_C : the 2-quasicategory of all categories having C-colimits,
all functors preserving C-colimits and all natural
transformations
and
CAT_F : the 2-quasicategory of all categories, all functors
preserving F-colimits and all natural transformations.
The result also holds for V-categories, instead of a class C
of small categories one has to work with a class of small indexing
types.
Thank you,
Jiri Velebil
velebil@math.feld.cvut.cz
Department of Mathematics
FEL CVUT
Technicka 2
Praha 6
Czech Republic
reply other threads:[~1997-11-26 17:42 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.971126134217.21258A-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).