From: Zhaohua Luo <zack@iswest.com>
To: categories@mta.ca
Subject: abstract algebraic geometry
Date: Mon, 13 Jul 1998 14:10:21 -0400 [thread overview]
Message-ID: <35AA4D8D.2A40888D@iswest.com> (raw)
The following short note (see the abstract below)
Atomic Categories
is available on Categorical Geometry Homepage at the following address:
http://www.azd.com
Note that to read the special symbols on these pages requires a viewer
under Win95. (thanks to Vaughan Pratt for bringing this to my
attention). Please let me know if you would like to have a copy in dvi
format.
Z. Luo
-------------------------------------------------------------------------------------
Atomic Categories
Zhaohua Luo
Abstract:
Let C be a category with a strict initial object 0. A map is called
"non-initial" if its domain is not an initial object. A non-initial
object T is called "unisimple" if for any two non-initial maps f: X -->
T and g: Y --> T there are non-initial maps r: R --> X and s: R --> Y
such that fr = gs. We say that C is an "atomic category" if any
non-initial object is the codomain of a map with a unisimple domain.
Many natural (left) categories arising in geometry are atomic (such as
the categories of sets, topological spaces, posets, coherent spaces,
Stone spaces, schemes, local ringed spaces, etc.) In this short note we
show that each atomic category carries a unique functor to the category
of sets, which plays the traditional role of "underlying functor" in
categorical geometry
--------------84037E1FA36AB214A0902978
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
<HTML>
<BODY TEXT="#000000" BGCOLOR="#FFFFEA" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000">
The following short note (see the abstract below)
<P>Atomic Categories
<P>is available on Categorical Geometry Homepage at the following address:
<P><A HREF="http://www.azd.com">http://www.azd.com</A>
<P>Note that to read the special symbols on these pages requires a viewer
under Win95. (thanks to Vaughan Pratt for bringing this to my attention).
Please let me know if you would like to have a copy in dvi format.
<P>Z. Luo
<BR>-------------------------------------------------------------------------------------
<BR>Atomic Categories
<P>Zhaohua Luo
<P>Abstract:
<P>Let C be a category with a strict initial object 0. A map is called
"<FONT COLOR="#000000">non-initial"</FONT><I> </I>if its domain is not
an initial object. A non-initial object T is called "<FONT COLOR="#000000">unisimple"</FONT><I>
</I>if for any two non-initial maps f: X --> T and g: Y --> T<I> </I>there
are non-initial maps<I> </I>r: R --> X and s: R --> Y such that fr = gs<I>.</I>
We say that<B> C </B>is an "atomic category" if any non-initial object
is the codomain of a map with a unisimple domain. Many natural (left) categories
arising in geometry are atomic (such as the categories of sets, topological
spaces, posets, coherent spaces, Stone spaces, schemes, local ringed spaces,
etc.) In this short note we show that each atomic category carries a unique
functor to the category of sets, which plays the traditional role of "underlying
functor<I>" </I>in categorical geometry
<BR>
<BR>
<BR>
</BODY>
</HTML>
--------------84037E1FA36AB214A0902978--
next reply other threads:[~1998-07-13 18:10 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-13 18:10 Zhaohua Luo [this message]
-- strict thread matches above, loose matches on Subject: below --
1998-09-28 3:29 Abstract Algebraic Geometry Zhaohua Luo
1998-07-17 19:28 abstract algebraic geometry Zhaohua Luo
1998-05-19 18:50 Zhaohua Luo
1998-05-06 19:41 Zhaohua Luo
1998-04-27 12:25 Zhaohua Luo
1997-12-20 13:53 categories
1997-11-22 12:56 categories
1997-11-05 21:34 categories
1997-10-16 19:53 categories
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=35AA4D8D.2A40888D@iswest.com \
--to=zack@iswest.com \
--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).