From: Marco Grandis <grandis@dima.unige.it>
To: <categories@mta.ca>
Subject: (unknown)
Date: Fri, 19 Feb 2021 16:50:42 +0100 [thread overview]
Message-ID: <E1lDZpU-0004Zg-Lp@rr.mta.ca> (raw)
This book is being published, and scheduled for March 2021:
M. Grandis
Manifolds and Local Structures. A general theory
World Scientific Publishing Co., xii + 361 pages, 2021.
- Info at WS:
https://www.worldscientific.com/worldscibooks/10.1142/12199
- Downloadable Introduction
https://www.worldscientific.com/doi/epdf/10.1142/9789811234002_0001
________
Local structures are studied as symmetric enriched categories on ordered categories of partial
morphisms; their morphisms are defined as 'compatible profunctors'. This follows a line
presented and developed in 1988-90 (whose main sources are cited in the Preface, below):
- MG, Manifolds as enriched categories, in: 'Categorical Topology', Prague 1988, pp.358-368,
World Scientific Publishing Co., 1989.
- MG, Cohesive categories and manifolds, Ann. Mat. Pura Appl. 157 (1990), 199-244.
Downloadable: https://link.springer.com/article/10.1007/BF01765319
The main basis of enrichment is called a 'cohesive e-category', or 'e-category' for short.
Later, this structure has been re-introduced under the name of 'restriction category'
and equivalent axioms.
________
from the PREFACE
Local structures, like differentiable manifolds, fibre bundles, vector bundles and foliations, can be obtained by gluing together a family
of suitable 'elementary spaces', by means of partial homeomorphisms that fix the gluing conditions and form a sort of 'intrinsic atlas',
instead of the more usual system of charts living in an external framework.
An 'intrinsic manifold' is defined here as such an atlas, in a suitable category of elementary spaces: open euclidean spaces, or trivial
bundles, or trivial vector bundles, and so on.
This uniform approach allows us to move from one basis to another: for instance, the elementary tangent bundle of an open Euclidean
space is automatically extended to the tangent bundle of any differentiable manifold. The same holds for tensor calculus.
Technically, the goal of this book is to treat these structures as 'symmetric enriched categories' over a suitable basis, generally an
ordered category of partial mappings.
This approach to gluing structures is related to Ehresmann's one, based on inductive pseudogroups and inductive categories. A second
source was the theory of enriched categories and Lawvere's unusual view of interesting mathematical structures as categories enriched
over a suitable basis.
________
Marco Grandis
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next reply other threads:[~2021-02-19 15:50 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-19 15:50 Marco Grandis [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-12-29 22:47 (unknown) Valeria de Paiva
2019-07-20 7:28 (unknown) Marco Grandis
2017-02-16 16:43 (unknown) Jean Benabou
2016-04-11 8:35 (unknown) Timothy Porter
2011-08-14 20:08 (unknown) claudio pisani
2010-06-29 7:29 (unknown) Erik Palmgren
2009-11-19 23:25 (unknown) claudio pisani
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:27 (unknown) Unknown
2009-04-29 15:26 (unknown) Unknown
2006-03-16 2:08 (unknown) jim stasheff
2006-03-16 2:07 (unknown) jim stasheff
2006-03-16 1:58 (unknown) jim stasheff
2006-03-16 1:53 (unknown) jim stasheff
2000-02-12 17:23 (unknown) James Stasheff
1998-05-24 4:31 (unknown) Ralph Leonard Wojtowicz
1998-05-12 15:09 (unknown) esik
1998-02-15 11:43 (unknown) esik
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=E1lDZpU-0004Zg-Lp@rr.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).