From: Jiri Adamek <adamek@iti.cs.tu-bs.de>
To: categories@mta.ca
Subject: connected functors
Date: Mon, 7 May 2001 14:36:35 +0200 (MET DST) [thread overview]
Message-ID: <200105071236.OAA09189@lisa.iti.cs.tu-bs.de> (raw)
Connected Functors
Peter Johnstone has asked during the last PSSL for a characterization of
functors p: E -> B which are "connected" in the sense that the functor
Set^B -> Set^E of composition with p is fully faithful. We have found
two necesary and sufficient conditions; in the following E and B are
arbitrary small categories.
Theorem 1. A functor p: E -> B is connected iff every object X of B is
an absolute limit of the diagram of all arrows X -> p(Z) for Z ranging
through E .
Theorem 2. A functor p: E -> B is connected iff for every morphism
x: X -> X' of B the category of all factorizations of x through
objects of p[E] is connected.
More precisely, in Thm 1 we form the diagram of all arrows X -> p(Z)
and all E-morphisms whose p-image forms a commutative triangle in B.
Then X is equipped with a canonical cone of that diagram; this
cone is requested to be an absolute limit.
In Thm 2 we consider the category of all triples (Z,q,m) where Z is an
object of E and m,q are morphisms of B with x = q.m (and morphisms
between these triples are the E-morphisms whose p-images form two
commutative triangles in B ). Connectedness of that category has been,
for the case of x = id , observed as a necessary condition by Peter.
J. Adamek, R. El Bashir, M. Sobral and J. Velebil
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
alternative e-mail address (in case reply key does not work):
J.Adamek@tu-bs.de
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
alternative e-mail address (in case reply key does not work):
J.Adamek@tu-bs.de
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
reply other threads:[~2001-05-07 12:36 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=200105071236.OAA09189@lisa.iti.cs.tu-bs.de \
--to=adamek@iti.cs.tu-bs.de \
--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).