2-Category of Parametric Maps Analysis

• 2-category of parametric maps is a framework where spaces are objects, continuous maps are 1-morphisms, and homotopies (or approximation data) serve as 2-cells.
• The structure unifies explicit 2-categorical localization, axiomatic lifting using Whitehead and Ganea constructions, and parametric mapping in function-space settings.
• It bridges classical homotopy theory with bicategorical approaches, refining invariants like LS-category bounds and enabling detailed analysis of topological complexity.

The expression “2-category of parametric maps” is not introduced as a single formal term across the cited literature. As an Editor’s term, it can denote a framework in which spaces are treated as objects, continuous maps as $1$-morphisms, and homotopies or fiberwise approximation data as $2$-morphisms. In the available work, the most explicit formal realization is a $2$-categorical localization in which homotopies become $2$-cells (Girabel, 2020). Closely related papers develop an axiomatic homotopy-invariant theory of lifting category, sectional category, topological complexity, and homotopic distance that is strongly suggestive of bicategorical organization (Doeraene, 10 Mar 2025), and a parametric theory of fiberwise set-wise injective maps formulated through function spaces, restriction maps, dense $G_\delta$-sets, and continuous selections (Matsuhashi et al., 2016). By contrast, maps from Grassmannians of $2$-planes to projective spaces are used to study category of maps and Lusternik–Schnirelmann category, but that work does not introduce a separate notion of “2-category” (Brasil et al., 23 Jan 2025).

1. Terminological status and scope

A recurring misconception is that the cited literature already presents a single, standardized $2$-category of parametric maps. It does not. The literature is stratified: one paper gives a genuine $2$-categorical localization; two others provide structures that are explicitly described as suggestive of a $2$-categorical viewpoint; and one uses map-level categorical invariants without defining higher-categorical data (Girabel, 2020, Doeraene, 10 Mar 2025, Matsuhashi et al., 2016, Brasil et al., 23 Jan 2025).

Source	Formal status of $2$-category language	Relevant content
(Girabel, 2020)	Explicit	$2$0-localization with homotopies as $2$1-cells
(Doeraene, 10 Mar 2025)	Not explicit	Axiomatic lifting category; whisker maps; homotopy pullbacks
(Matsuhashi et al., 2016)	Not explicit	Parametric fiberwise mapping problems over a base
(Brasil et al., 23 Jan 2025)	Not explicit	Category of a map; LS-category bounds via maps

The resulting picture is not a settled definition but a convergent theme. One strand is formal and $2$2-categorical in the strict sense, retaining homotopies as higher morphisms under localization (Girabel, 2020). A second strand works systematically with homotopy-commutative diagrams, universal properties up to homotopy equivalence, Whitehead and Ganea constructions, and open-cover formulations; this is “$2$3-category-ready structure,” but not an explicit bicategory (Doeraene, 10 Mar 2025). A third strand treats maps parametrized by a base space $2$4, where admissible families are assembled by openness of restriction maps, selection theorems, and extension over spheres and disks; this is parametric in a topological and function-space sense rather than in a formal higher-categorical sense (Matsuhashi et al., 2016).

2. Formal $2$5-categorical localization and homotopies as $2$6-cells

The most explicit higher-categorical construction is the $2$7-localization of a $2$8-category $2$9 with respect to a class $2$0 of $2$1-cells. It is defined by a $2$2-functor

$2$3

such that every $2$4 is sent to an equivalence in $2$5, and such that for every $2$6-category $2$7, precomposition induces a pseudoequivalence

$2$8

where $2$9 is the $2$0-category of $2$1-functors, pseudonatural transformations, and modifications, and $2$2 is the full sub-$2$3-category on $2$4-functors sending $2$5 to equivalences (Girabel, 2020). This universal property is strictly $2$6-categorical: it is formulated not in terms of hom-sets alone, but in terms of $2$7-categories of functors.

The decisive move is that homotopies become $2$8-morphisms. A generalized cylinder for an object $2$9 is a diagram

$G_\delta$0

together with $G_\delta$1, such that

$G_\delta$2

with $G_\delta$3. A homotopy $G_\delta$4 from $G_\delta$5 to $G_\delta$6 is then a map $G_\delta$7 satisfying

$G_\delta$8

The $G_\delta$9-cells are not raw homotopies but equivalence classes of homotopies, where

$2$0

for every $2$1-functor $2$2 sending $2$3 to equivalences (Girabel, 2020). Vertical composition is concatenation of homotopies, and horizontal composition is defined by whiskering.

This construction refines Quillen’s ordinary localization. Applying the connected-components functor

$2$4

to the hom-categories of the $2$5-localization recovers the ordinary localized homotopy category. In particular, for the fibrant-cofibrant subcategory $2$6,

$2$7

and for the whole model category the composite localization through fibrant and cofibrant replacement yields the ordinary localization at weak equivalences (Girabel, 2020). In this sense, a $2$8-category of parametric maps is a refinement of ordinary homotopy theory that preserves homotopies themselves rather than only their classes.

3. Axiomatic lifting category and “$2$9-category-ready” map calculus

A second major source does not define a $2$0-category of parametric maps explicitly, but it organizes sectional category, topological complexity, homotopic distance, and lifting category through a common homotopy-invariant formalism (Doeraene, 10 Mar 2025). The framework is built around three ingredients: Whitehead and Ganea constructions, homotopy invariance and composition laws, and equivalence between open-cover and homotopy-theoretic formulations under normality.

For a map $2$1, the paper defines Whitehead objects $2$2 with maps

$2$3

and Ganea objects $2$4 with maps

$2$5

The central invariant is the lifting category

$2$6

equivalently

$2$7

These are universal lifting conditions defined only up to homotopy, which is precisely why the paper is described as supplying the kind of data one would use to formulate a $2$8-category of parametric maps (Doeraene, 10 Mar 2025).

The same paper introduces whisker maps via homotopy pullbacks. Given a homotopy commutative square

$2$9

and a map $2$0, if there exists $2$1 with

$2$2

then there exists $2$3 such that

$2$4

If the square is a homotopy pullback, the converse holds. The induced map $2$5 is called the whisker map and denoted $2$6 (Doeraene, 10 Mar 2025). This is explicitly identified as a $2$7-categorical feature: the composite exists only after choosing homotopies, and the whisker maps encode the resulting coherence data.

The local and global formulations are connected by an open-cover invariant

$2$8

with the theorem

$2$9

This equivalence is presented as a bridge between local descent data and a global universal object (Doeraene, 10 Mar 2025). The same framework recovers several classical invariants: $2$0 and for a constant map $2$1,

$2$2

It also proves

$2$3

which makes homotopic distance an obstruction to the existence of a homotopy between parallel arrows (Doeraene, 10 Mar 2025).

Composition laws further reinforce the bicategorical reading. Among the stated inequalities are

$2$4

and for homotopic distance,

$2$5

These laws are governed by homotopy commutativity rather than strict commutativity (Doeraene, 10 Mar 2025).

4. Parametric mapping problems over a base space

A distinct but related use of “parametric maps” appears in the study of fiberwise set-wise injective maps (Matsuhashi et al., 2016). Here the basic object is a fixed map $2$6, and one studies the function space $2$7 of maps $2$8 whose restrictions to the fibers $2$9 satisfy prescribed separation properties. The central notion is that $2$0 is set-wise injective if for any two closed sets $2$1 with $2$2,

$2$3

A dimension-refined version says that $2$4 is set-wise injective in dimension $2$5 if

$2$6

for any closed $2$7 such that

$2$8

Every set-wise injective map in dimension $2$9 is injective, and dimension $2$00 already implies continuum-wise injectivity (Matsuhashi et al., 2016).

The main theorem is a genericity statement. If $2$01 is an $2$02-perfect surjective $2$03-dimensional map between metric spaces such that $2$04, and $2$05 is a complete separable metric $2$06-space with the $2$07-DD$2$08-property with $2$09, then $2$10 contains a dense $2$11-set of maps $2$12 such that all restrictions $2$13, $2$14, are set-wise injective in dimension $2$15 (Matsuhashi et al., 2016). A compact-source analogue is also proved in the uniform convergence topology when $2$16 is a closed surjective $2$17-dimensional map between normal spaces, $2$18, $2$19, and $2$20 is compact metric $2$21 with the $2$22-DD$2$23-property (Matsuhashi et al., 2016).

The proof is organized around restriction maps and open dense constraint sets. In the source limitation topology, the basic neighborhoods are

$2$24

where $2$25 is continuous. For a closed $2$26, the restriction map

$2$27

is open and surjective in the source limitation topology (Matsuhashi et al., 2016). For closed disjoint $2$28 and closed $2$29, the sets

$2$30

are proved to be open and dense.

The density argument introduces the multivalued map

$2$31

and proves two key facts: $2$32 for all $2$33, and every map from a sphere $2$34 into $2$35 extends over $2$36 (Matsuhashi et al., 2016). A selection theorem then yields continuous selections

$2$37

for closed $2$38, which are then lifted back to global maps $2$39. This is explicitly described as the kind of “parametric map” construction that a $2$40-categorical interpretation would emphasize: a family of admissible maps over a parameter space, extension data over spheres and disks, and continuous choice of fiberwise solutions (Matsuhashi et al., 2016).

5. Interpretive dictionary: objects, $2$41-morphisms, $2$42-morphisms, and coherence

The cited papers do not present a single common dictionary, but they do support a consistent interpretation. One may view spaces as objects, continuous maps as $2$43-morphisms, and homotopies or fiberwise approximation data as $2$44-morphisms (Matsuhashi et al., 2016). In the strict $2$45-localization setting, the formulation is sharper: objects are the same as in the original category, $2$46-cells are maps, and $2$47-cells are homotopies modulo the equivalence relation determined by all $2$48-functors sending the distinguished class $2$49 to equivalences (Girabel, 2020).

Coherence appears in several non-equivalent but compatible forms. In the $2$50-localization setting, it is encoded by vertical composition via concatenation of homotopies and horizontal composition via whiskering (Girabel, 2020). In the lifting-category framework, it is encoded by homotopy pullbacks, whisker maps, and homotopy-commutative diagrams, so that compositions and inequalities are controlled only up to homotopy (Doeraene, 10 Mar 2025). In the parametric genericity setting, coherence takes the form of stable transport of local conditions through open surjective restriction maps and of extension from spheres to disks inside spaces of admissible maps (Matsuhashi et al., 2016).

Path objects supply another canonical parametric example. The diagonal $2$51 can be replaced by the path fibration $2$52, with

$2$53

Accordingly,

$2$54

This is explicitly identified as a map with a parameter $2$55, that is, a map-valued family $2$56, and hence as strongly compatible with a reading in which homotopies act as $2$57-morphisms (Doeraene, 10 Mar 2025).

The limit of this dictionary must be stated equally clearly. The literature does not define a shared bicategory with specified objects, $2$58-morphisms, $2$59-morphisms, associators, and unitors. One paper says “explicit $2$60-category? No,” while also saying “$2$61-category-ready structure? Yes, strongly” (Doeraene, 10 Mar 2025). Another says that the results are “naturally interpretable in a $2$62-categorical ‘parametric morphism’ framework,” but that the paper itself remains within classical topology (Matsuhashi et al., 2016). The phrase 2-category of parametric maps therefore names a mathematically motivated synthesis rather than a universally fixed formalism.

6. Relation to category of maps and LS-category

The topic intersects another categorical line of development through category of a map and Lusternik–Schnirelmann category (Brasil et al., 23 Jan 2025, Doeraene, 10 Mar 2025). For a map $2$63, the category of the map is

$2$64

the least $2$65 such that $2$66 can be covered by $2$67 open sets on each of which $2$68 is nullhomotopic. One then has

$2$69

In the lifting-category framework this is recast as

$2$70

for a constant map $2$71 (Doeraene, 10 Mar 2025).

Maps from Grassmannians of $2$72-planes to projective spaces provide a concrete application of map-level categorical invariants rather than an explicit higher-categorical theory (Brasil et al., 23 Jan 2025). Using quaternions and octonions, the paper constructs explicit maps

$2$73

and further maps

$2$74

all inducing $2$75-isomorphisms. Two of these, $2$76 and $2$77, are shown to be submersions, hence locally trivial fibrations by Ehresmann’s lemma; in particular,

$2$78

The same paper states that it “does not introduce a separate notion of ‘2-category’ in the sense of a higher-categorical invariant” (Brasil et al., 23 Jan 2025).

The categorical role of these maps is instead through LS-category bounds. If there exists a map

$2$79

inducing a $2$80-isomorphism, then

$2$81

Using this mechanism, the paper proves the exact values

$2$82

(Brasil et al., 23 Jan 2025). The significance for the present topic is conceptual: these maps act as “categorical probes” and as “witnesses” for low category complexity, but they do so within LS-category and category-of-a-map, not within a formally defined $2$83-category (Brasil et al., 23 Jan 2025).

Taken together, the cited works support a layered understanding of the phrase 2-category of parametric maps. In the strict sense, it is realized by a $2$84-localization retaining homotopies as $2$85-cells (Girabel, 2020). In an axiomatic homotopy-theoretic sense, it is anticipated by lifting-category formalisms built from homotopy pullbacks, whisker maps, Whitehead and Ganea constructions, and path fibrations (Doeraene, 10 Mar 2025). In a function-space and dimension-theoretic sense, it appears through families of fiberwise maps varying over a base, controlled by restriction morphisms, dense $2$86-conditions, and selection principles (Matsuhashi et al., 2016). What unifies these strands is not a universally fixed definition, but the persistent treatment of maps together with the higher data by which maps vary, lift, compose, and become homotopic.