categories - Category Theory list
 help / color / mirror / Atom feed
From: Tobias Schroeder <tschroed@Mathematik.Uni-Marburg.de>
To: categories@mta.ca
Subject: Pullback preserving Set-functors
Date: Mon, 11 Sep 2000 15:39:51 +0200 (MET DST)	[thread overview]
Message-ID: <Pine.GSO.4.21.0009111530540.23419-100000@shaula> (raw)

I'm interested in proofs of or counterexamples for
the following conjectures:

Conjecture 1:
Any Set-endofunctor that preserves
kernels (i.e. pullbacks of a mapping with itself)
preserves pullbacks.

Conjecture 2:
Any Set-endofunctor that preserves
kernels *and inverse images* (i.e. pullbacks
where one of the mapping is injective)
preserves pullbacks.

Conjecture 3:
Same as Conj. 2 with *and inverse images*
replaced by *and equalizers*.

Conjecture 4:
Same as Conj. 1-3, but concerning *weak*
preservation.

Conjectur 5:
Same as 1-4, but for Set-endofunctors
that are subfunctors of a pullback
preserving functor.

I tried to prove these facts in several ways
but was not able to do it or to find a
counterexample (the answer to this questions
is of some relevance for my work on coalgebras)
... and it looks quite easy, doesn't it?

Can somebody help me in this?

Thank you very much in advance

Tobias Schröder
--------------------------------------------------------------
Tobias Schröder
FB Mathematik und Informatik
Philipps-Universität Marburg
WWW: http://www.mathematik.uni-marburg.de/~tschroed
email: tschroed@mathematik.uni-marburg.de




             reply	other threads:[~2000-09-11 13:39 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-09-11 13:39 Tobias Schroeder [this message]
2000-09-11 21:48 Peter Freyd

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.GSO.4.21.0009111530540.23419-100000@shaula \
    --to=tschroed@mathematik.uni-marburg.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).