Name
Abstract | ||
|---|---|---|
The problem we consider is that of recognizing a lifting functor in a category, possibly lacking part of the usual structure required to define the partial maps. We solve it in the general case of a category with a terminal object; this indicates that a lifting functor does not depend on having pullbacks in the category. An interesting characterization of lifting is obtained when we specialize our result to categories with finite products. This approach to partiality seems new in the literature on categories of partial maps, although it is certainly implicit in the computational point of view, and it relates directly to the question of modularity. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1007/BFb0026994 | Category Theory and Computer Science |
DocType | Volume | Issue |
Conference | 65 | 9 |
ISSN | ISBN | Citations |
0031-9406 | 3-540-63455-X | 4 |
PageRank | References | Authors |
0.76 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anna Bucalo | 1 | 39 | 4.12 |
| Giuseppe Rosolini | 2 | 93 | 17.27 |