This article is available for purchase or by subscription. See below.
Abstract
|
Span categories provide an abstract framework for formalizing mathematical models
of certain systems. The mathematical descriptions of some systems, such as classical
mechanical systems, require categories that do not have pullbacks, and this
limits the utility of span categories as a formal framework. Given categories
and
and a
functor
from
to
, we introduce the notion
of an
-pullback of a cospan
in
, as well as the notion
of span tightness of
.
If
is span tight, then we can form a generalized span category
and circumvent the technical
difficulty of
failing to have
pullbacks. Composition in
uses
-pullbacks
rather than pullbacks and in this way differs from the category
, but reduces to
it when both
has
pullbacks and
is the identity functor.
|
In memory of Professor
V. S. Varadarajan
|
PDF Access Denied
We have not been able to recognize your IP address
18.118.120.109
as that of a subscriber to this journal.
Online access to the content of recent issues is by
subscription, or purchase of single articles.
Please contact your institution's librarian suggesting a subscription, for example by using our
journal-recommendation form.
Or, visit our
subscription page
for instructions on purchasing a subscription.
You may also contact us at
contact@msp.org
or by using our
contact form.
Or, you may purchase this single article for
USD 40.00:
Keywords
span categories, pullbacks, compositionality, fibered
products, forgetful functors
|
Mathematical Subject Classification
Primary: 18F99, 53Z05
Secondary: 70A05
|
Milestones
Received: 14 September 2020
Accepted: 7 November 2022
Published: 21 March 2023
|
© 2022 MSP (Mathematical Sciences
Publishers). |
|