From: Marco Grandis <grandis@dima.unige.it>
To: categories@mta.ca
Subject: A second book on homological algebra
Date: Tue, 12 Mar 2013 21:06:23 +0100 [thread overview]
Message-ID: <E1UFmOa-0000RM-Nd@mlist.mta.ca> (raw)
My second book on homological algebra has appeared
Homological Algebra In Strongly Non-Abelian Settings
World Scientific
http://www.worldscientific.com/worldscibooks/10.1142/8608
We propose here a study of ‘semiexact’ and ‘homological' categories
as a basis for a generalised homological algebra. Our aim is to
extend the homological notions to deeply non-abelian situations,
where satellites and spectral sequences can still be studied.
This is a sequel of a book on ‘Homological Algebra, The interplay of
homology with distributive lattices and orthodox semigroups’,
published by the same Editor, but can be read independently of the
latter.
The previous book develops homological algebra in p-exact categories,
i.e. exact categories in the sense of Puppe and Mitchell — a moderate
generalisation of abelian categories that is nevertheless crucial for
a theory of ‘coherence’ and ‘universal models’ of (even abelian)
homological algebra. The main motivation of the present, much wider
extension is that the exact sequences or spectral sequences produced
by unstable homotopy theory cannot be dealt with in the previous
framework.
According to the present definitions, a semiexact category is a
category equipped with an ideal of ‘null’ morphisms and provided with
kernels and cokernels with respect to this ideal. A homological
category satisfies some further conditions that allow the
construction of subquotients and induced morphisms, in particular the
homology of a chain complex or the spectral sequence of an exact couple.
Extending abelian categories, and also the p-exact ones, these
notions include the usual domains of homology and homotopy theories,
e.g. the category of ‘pairs’ of topological spaces or groups; they
also include their codomains, since the sequences of homotopy
‘objects’ for a pair of pointed spaces or a fibration can be viewed
as exact sequences in a homological category, whose objects are
actions of groups on pointed sets.
______________
The first book, ‘Homological Algebra, The interplay of homology with
distributive lattices and orthodox semigroups’
(World Scientific) can be found at:
http://www.worldscientific.com/worldscibooks/10.1142/8483
______________
With best regards
Marco Grandis
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2013-03-12 20:06 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=E1UFmOa-0000RM-Nd@mlist.mta.ca \
--to=grandis@dima.unige.it \
--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).