pith. sign in

arxiv: 2605.18650 · v1 · pith:XFHERLGRnew · submitted 2026-05-18 · 🧮 math.CT · math.AT· math.CO

Weak and Strong Fibrations of Functors

Isaac Carcac\'ia-Campos , Enrique Mac\'ias-Virg\'os , David Mosquera-Lois This is my paper

Pith reviewed 2026-05-20 00:56 UTC · model grok-4.3

classification 🧮 math.CT math.ATmath.CO
keywords small categoriesweak and strong fibrationspath categorylocalizationsectional categorytopological complexitymotion planninghomotopical invariants
0
0 comments X

The pith

Localization produces a genuine path category for small categories that defines weak and strong fibrations of functors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a homotopical framework for small categories by applying a localization procedure to create a genuine path category. This path category supports definitions of weak and strong fibrations between functors, along with a fibrant replacement. The authors extend classical invariants such as the Svarc genus and sectional category from topology into this categorical setting. They then apply the framework to motion planning, obtaining categorical versions of Farber's topological complexity that avoid the finiteness requirements of earlier approaches. A sympathetic reader would see this as a bridge that lets homotopy ideas apply directly to discrete structures like posets or graphs.

Core claim

The paper claims that a localization procedure applied to any small category produces a genuine path category. This path category permits the definition of strong and weak fibrations of functors, establishes their basic properties, and supplies a fibrant replacement. The same construction extends homotopical invariants including the Svarc genus and sectional category to small categories. The framework finally yields categorical analogues of topological complexity for motion planning problems in small categories, removing finiteness constraints typical of prior methods.

What carries the argument

The localization procedure that produces a genuine path category for a small category, which then induces the notions of weak and strong fibrations for functors.

If this is right

  • Sectional category and Svarc genus become well-defined invariants for functors between arbitrary small categories.
  • Fibrant replacements exist that allow homotopical study of any functor in this setting.
  • Motion planning problems modeled by small categories admit a well-defined categorical topological complexity.
  • The framework applies without requiring the categories to be finite.
  • Basic lifting and homotopy properties of the weak and strong fibrations hold by construction from the path category.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same localization could model discrete navigation tasks on graphs or ordered sets by treating them as small categories.
  • Results from this setting might transfer to other categorical homotopy theories that already possess path objects.
  • The approach could be tested on infinite diagrams or large posets where finiteness assumptions previously blocked analysis.

Load-bearing premise

The localization must produce a path category whose fibrations and invariants behave sufficiently like their topological counterparts to support the claimed extensions and applications.

What would settle it

A concrete small category and functor for which the newly defined sectional category violates a standard inequality known to hold for its topological counterpart, or a direct computation of the categorical topological complexity on a specific finite category that contradicts the expected relation to the topological version.

read the original abstract

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization procedure, which allows us to define strong and weak fibrations for functor. We establish their basic properties, introduce a fibrant replacement for functors, and extend homotopical invariants such as the Svarc genus and sectional category to small categories. Finally, we apply this framework to motion planning in small categories, providing categorical analogues of Farber's topological complexity while removing finiteness constraints typical of existing approaches.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 3 minor

Summary. The paper develops a homotopical framework for small categories based on constructing a genuine path category via a localization procedure. This is used to define strong and weak fibrations of functors, establish their basic properties, introduce a fibrant replacement, extend invariants such as the Švarc genus and sectional category, and define categorical analogues of Farber's topological complexity for motion planning that remove finiteness constraints.

Significance. If the localization yields a path category whose induced fibrations satisfy the expected lifting and homotopy properties, the work would provide a systematic way to extend classical topological invariants to arbitrary small categories. This could enable new discrete models for motion planning and homotopical algebra without finiteness assumptions, representing a potentially useful bridge between algebraic topology and category theory.

major comments (3)
  1. [§3] §3 (Localization Procedure): The construction of the genuine path category is the foundation for all subsequent definitions and extensions. The manuscript does not verify that this localization preserves the necessary model-categorical structure or guarantees that the resulting fibrations satisfy right lifting against acyclic cofibrations in general, which is required for the homotopy invariance underlying the extensions of the Švarc genus and sectional category.
  2. [§5] §5 (Extension of Invariants): The claims that the new fibrations allow direct extension of sectional category and Švarc genus to small categories rest on the fibrations behaving sufficiently like their topological counterparts. Without explicit checks that the localization induces the required homotopy lifting properties for arbitrary (including infinite) small categories, these extensions risk being formal rather than homotopically meaningful.
  3. [§6] §6 (Motion Planning Application): The categorical topological complexity is presented as removing finiteness constraints of prior approaches. This depends on the fibrant replacement and path category working uniformly, but the text provides no counterexample checks or general proof that the lifting properties hold when the original category is not finite, undermining the removal-of-constraints claim.
minor comments (3)
  1. [Abstract] Abstract contains typos: 'invarints' should read 'invariants', 'trough' should read 'through', and 'for functor' should read 'for functors'.
  2. [§2] Notation for the path category and the weak/strong fibrations should be introduced with explicit comparison to classical model-category fibrations to improve readability.
  3. [Introduction] Add references to prior work on categorical homotopy theory and discrete topological complexity to better situate the localization approach.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which have helped us identify areas where the manuscript can be strengthened. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§3] §3 (Localization Procedure): The construction of the genuine path category is the foundation for all subsequent definitions and extensions. The manuscript does not verify that this localization preserves the necessary model-categorical structure or guarantees that the resulting fibrations satisfy right lifting against acyclic cofibrations in general, which is required for the homotopy invariance underlying the extensions of the Švarc genus and sectional category.

    Authors: We agree that a more explicit verification of the model-categorical properties is needed to support the subsequent developments. The localization procedure in §3 is constructed to yield a path category with the expected fibrations, but we will add a detailed proof in the revised manuscript showing that the localization preserves the relevant model structure and that the resulting fibrations satisfy the right lifting property against acyclic cofibrations. This will include the necessary arguments for homotopy invariance. revision: yes

  2. Referee: [§5] §5 (Extension of Invariants): The claims that the new fibrations allow direct extension of sectional category and Švarc genus to small categories rest on the fibrations behaving sufficiently like their topological counterparts. Without explicit checks that the localization induces the required homotopy lifting properties for arbitrary (including infinite) small categories, these extensions risk being formal rather than homotopically meaningful.

    Authors: The referee is correct that the extensions of the Švarc genus and sectional category in §5 depend on the fibrations satisfying the appropriate homotopy lifting properties. We will revise §5 to include explicit checks and proofs that these properties hold for arbitrary small categories, including infinite ones. This will demonstrate that the extensions are homotopically meaningful by verifying the necessary invariance under the localization. revision: yes

  3. Referee: [§6] §6 (Motion Planning Application): The categorical topological complexity is presented as removing finiteness constraints of prior approaches. This depends on the fibrant replacement and path category working uniformly, but the text provides no counterexample checks or general proof that the lifting properties hold when the original category is not finite, undermining the removal-of-constraints claim.

    Authors: We acknowledge that the claim of removing finiteness constraints in §6 requires stronger support. In the revision, we will provide a general proof that the fibrant replacement and path category construction ensure the lifting properties hold uniformly for non-finite small categories. We will also include illustrative examples for infinite categories to substantiate the applicability beyond finite cases. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from standard localization

full rationale

The paper's central construction begins with a localization procedure applied to any small category to produce a genuine path category. From this, weak and strong fibrations of functors are defined via lifting properties, a fibrant replacement is introduced, and invariants such as Švarc genus, sectional category, and categorical topological complexity are extended as derived notions. These steps rely on standard category-theoretic operations (localization, model structures on categories) rather than fitting parameters to data or presupposing the target invariants. No load-bearing self-citation, self-definitional loop, or renaming of known results appears in the derivation chain; the framework is self-contained against external benchmarks in category theory and homotopy theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The framework rests on standard category theory and homotopy theory together with a new localization construction whose details are not visible in the abstract.

axioms (1)
  • standard math Standard axioms and constructions of category theory and homotopy theory
    The localization procedure and fibrations are defined within the usual language of categories and functors.
invented entities (1)
  • genuine path category no independent evidence
    purpose: To serve as the base for defining weak and strong fibrations of functors
    Obtained through a localization procedure; no independent evidence supplied in the abstract.

pith-pipeline@v0.9.0 · 5638 in / 1363 out tokens · 35099 ms · 2026-05-20T00:56:55.695576+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Carcac´ ıa-Campos, E

    I. Carcac´ ıa-Campos, E. Mac´ ıas-Virg´ os, and D.Mosquera-Lois. Baues-wirsching cohomology and ˇSvarc genus in small categories, 2025. arXiv 2508.0727

    work page arXiv 2025

  2. [2]

    Carcac´ ıa-Campos, E

    I. Carcac´ ıa-Campos, E. Mac´ ıas-Virg´ os, and D. Mosquera-Lois. Homotopy in- variants in small categories, 2022. arXiv 2206.00651

    work page arXiv 2022

  3. [3]

    M. Farber. Topological complexity of motion planning.Discrete Comput. Geom., 29(2):211–221, 2003

    work page 2003

  4. [4]

    Fern´ andez-Ternero, J.M

    D. Fern´ andez-Ternero, J.M. Garc´ ıa-Calcines, E. Mac´ ıas-Virg´ os, and J.A. Vilches. Simplicial fibrations.Rev. R. Acad. Cienc. Exactas F´ ıs. Nat., Ser. A Mat., 115(2):25, 2021

    work page 2021

  5. [5]

    G. Hoff. L’homotopie des cat´ egories. Esquisses math. 23., 1975

    work page 1975

  6. [6]

    Homotopy for functors.Proc

    M-J Lee. Homotopy for functors.Proc. Am. Math. Soc., 36:571–577, 1973

    work page 1973

  7. [7]

    Lusternik and L

    L. Lusternik and L. Schnirelmann. M´ ethodes topologiques dans les probl` emes variationnels. Traduit du russe par J. Kravtchenko. Hermann, 1934

    work page 1934

  8. [8]

    Mac´ ıas-Virg´ os and D

    E. Mac´ ıas-Virg´ os and D. Mosquera-Lois. Homotopic distance between functors. J. Homotopy Relat. Struct., 15(3-4):537–555, 2020

    work page 2020

  9. [9]

    Mac´ ıas-Virg´ os and D

    E. Mac´ ıas-Virg´ os and D. Mosquera-Lois. Homotopic distance between maps. Math. Proc. Camb. Philos. Soc., 172(1):73–93, 2022

    work page 2022

  10. [10]

    Mac´ ıas-Virg´ os, D

    E. Mac´ ıas-Virg´ os, D. Mosquera-Lois, and M-J. Pereira-S´ aez. Homotopic dis- tance and generalized motion planning.Mediterr. J. Math., 19(6):20, 2022

    work page 2022

  11. [11]

    category of fractions.https://ncatlab.org/nlab/show/ category+of+fractions, November 2025

    nLab authors. category of fractions.https://ncatlab.org/nlab/show/ category+of+fractions, November 2025. Revision 84

    work page 2025

  12. [12]

    K. Tanaka. Lusternik-Schnirelmann category for categories and classifying spaces.Topology Appl., 239:65–80, 2018

    work page 2018

  13. [13]

    Vistoli.Fundamental algebraic geometry: Grothendieck’s FGA explained, chapter Notes on Grothendieck topologies, fibered categories and descent the- ory, page Page Range

    A. Vistoli.Fundamental algebraic geometry: Grothendieck’s FGA explained, chapter Notes on Grothendieck topologies, fibered categories and descent the- ory, page Page Range. Mathematical Surveys and Monographs. vol. 123. Amer- ican Mathematical Society, Providence, 2005

    work page 2005

  14. [14]

    A. S. ˇSvarc. Rod rassloennogo prostranstva [the genus of a fibre space].Trudy Moskov Mat. Obˇ sˇ c., pages 99–126, 1962. (An English translation was published in Am. Math. Soc. Transl., Ser. 2 55. 1966.). WEAK AND STRONG FIBRATIONS OF FUNCTORS 27 Isaac Carcac´ıa Campos, Departamento de Matem ´aticas, Universi- dade de Santiago de Compostela, Universidade...

    work page 1962