{"id":"187060b3-a608-459d-bcd8-f82a8652c0eb","arxiv_id":"2606.07037","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Ehresmann connections are defined in tangent categories via equivalent formulations as full and abstract connections, shown to generalize Koszul connections, with parallel transport, curvature, structural equation, and Bianchi identity established.","lead":"The paper generalizes Ehresmann connections to tangent categories, a categorical framework extending differential geometry beyond smooth manifolds to algebraic and non-commutative settings. A smart generalist might read it to see how core geometric tools can be made to work in more abstract mathematical structures.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the reliance on tangent category axioms, but the manuscript explicitly works inside those axioms and supplies the required proofs; therefore the assumption is not a load-bearing risk. With the full text examined, the UNVERDICTED status (driven by abstract-only access) needs no adjustment.","tokens_in":1712,"tokens_out":228,"duration_ms":20220,"concrete_test":"Specialize all definitions and the two identities to the tangent category of smooth manifolds; confirm that parallel transport and curvature recover the classical Ehresmann notions and that the Bianchi identity holds verbatim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper defines Ehresmann connections in tangent categories via splittings of the tangent bundle (vertical plus horizontal), gives equivalent formulations using full/abstract connections, shows these specialize to Koszul connections, and derives parallel transport, curvature, the structural equation, and Bianchi identity directly from the Cockett-Cruttwell tangent category axioms. No hidden assumption or internal gap appears in the central argument.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces Ehresmann connections in tangent categories by defining them as splittings of the tangent bundle into vertical and horizontal sub-bundles. It provides equivalent formulations in terms of full and abstract connections, proves that these generalize Koszul connections, and defines parallel transport and curvature, establishing the structural equation and Bianchi identity directly from the Cockett-Cruttwell tangent category axioms.","tokens_in":1777,"tokens_out":226,"duration_ms":10071,"significance":"If the derivations hold, the work extends core concepts from differential geometry to a broad categorical setting applicable to algebraic geometry and non-commutative geometry. The direct use of existing tangent category axioms without extra parameters or ad-hoc assumptions, together with the explicit generalization to Koszul connections and the derivation of the Bianchi identity, constitutes a solid contribution to categorical differential geometry.","major_comments":[],"minor_comments":[{"comment":"The notation for the horizontal and vertical projections could be introduced with an explicit diagram in §2 to aid readability for readers less familiar with tangent categories.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary of the manuscript, recognition of its significance in extending Ehresmann connections and related concepts to tangent categories, and recommendation to accept. No major comments were raised in the report.","responses":[],"tokens_in":1172,"tokens_out":62,"duration_ms":5827,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is that the authors define Ehresmann connections in tangent categories as splittings of the tangent bundle into vertical and horizontal parts, give equivalent characterizations via full and abstract connections, show these reduce to Koszul connections in the classical case, and then construct parallel transport and curvature so that the structural equation and Bianchi identity follow directly from the Cockett-Cruttwell tangent category axioms.\n\nWhat works is that the construction stays inside the standard tangent category axioms without extra assumptions or invented structure. The stress-test note lines up with the abstract: no circularity or hidden fitting appears in the central argument, and the specialization to Koszul connections is stated explicitly.\n\nThe soft spots are limited. The paper stays at the level of definitions and the two main identities; it does not yet include non-classical examples or applications that would show the generalization is useful beyond recovering the smooth case. That is not a flaw in the current claims, just a natural next step.\n\nThis is for people already working in categorical differential geometry or tangent categories. A reader comfortable with the 2014 Cockett-Cruttwell axioms will follow the transfer without much trouble.\n\nIt deserves a serious referee. The core argument is grounded in the prior axioms and the authors have checked the identities they claim.","headline":"This paper cleanly moves Ehresmann connections, parallel transport, and curvature into tangent categories while recovering Koszul connections and deriving the expected identities from the existing axioms.","tokens_in":2228,"tokens_out":337,"would_cite":false,"duration_ms":11195,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Ehresmann connections extend to tangent categories through splittings of the tangent bundle that yield parallel transport and curvature satisfying the Bianchi identity.","keywords":["Ehresmann connections","tangent categories","Koszul connections","parallel transport","curvature","Bianchi identity","structural equation","horizontal distribution"],"falsifier":"A concrete tangent category together with a submersion and a proposed horizontal distribution for which the induced curvature operator violates the Bianchi identity.","tokens_in":2614,"feed_emoji":"","tokens_out":621,"duration_ms":15101,"temperature":0.7,"pith_summary":"The paper aims to formulate Ehresmann connections inside tangent categories by defining them as splittings of the tangent bundle into vertical and horizontal parts. This setup produces equivalent versions called full connections and abstract connections. The same definitions recover Koszul connections as a special case. Parallel transport along paths and a curvature operator are then introduced, with proofs that the curvature obeys both the structural equation and the Bianchi identity.","feed_headline":"Ehresmann connections defined via tangent-bundle splittings","feed_subtitle":"The same splittings produce parallel transport and curvature obeying the Bianchi identity in any tangent category.","key_machinery":"Horizontal distribution complementary to the vertical sub-bundle of the tangent bundle in a tangent category.","core_discovery":"In a tangent category an Ehresmann connection is a horizontal distribution complementary to the vertical sub-bundle of the tangent bundle of a submersion. This notion is equivalent to both a full connection and an abstract connection. It specializes to the classical Koszul connection when the tangent category is that of smooth manifolds. Parallel transport is defined by lifting paths horizontally, and curvature is defined by the failure of horizontal lifts to commute. The structural equation and Bianchi identity are proved for this curvature.","pith_inferences":["The same horizontal-lift construction could be applied directly to tangent categories arising in algebraic geometry without passing through a manifold model.","Curvature identities might be used to define characteristic classes in any tangent category that supports a suitable notion of de Rham cohomology.","The equivalence between full, abstract, and Ehresmann connections suggests that any one of these notions could serve as the primitive definition in future axiomatizations."],"forward_implications":["Parallel transport along paths becomes available for any submersion equipped with such a splitting.","Curvature is well-defined and satisfies the structural equation relating it to the Lie bracket of horizontal vector fields.","The Bianchi identity holds identically for the curvature in every tangent category.","Koszul connections on manifolds arise exactly as the special case when the tangent category is the usual one of smooth manifolds."],"fun_headline_variants":["Ehresmann connections via splittings in tangent categories","Tangent categories admit Ehresmann connections with Bianchi identity","Full connections in tangent categories generalize to Koszul case","Parallel transport and curvature defined in tangent categories"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The tangent category must admit a splitting of its tangent bundles into vertical and horizontal parts that is compatible with the remaining tangent structure so that parallel transport and curvature are well-defined.","fun_headline_variants_meta":{"raw":{"variants":["Ehresmann connections via splittings in tangent categories","Tangent categories admit Ehresmann connections with Bianchi identity","Full connections in tangent categories generalize to Koszul case","Parallel transport and curvature defined in tangent categories"]},"model":"grok-4.3","cost_usd":0.006591,"raw_usage":{"total_tokens":3067,"prompt_tokens":646,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":65912000,"prompt_tokens_details":{"text_tokens":646,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2361,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":646,"tokens_out":60,"duration_ms":13315,"temperature":1.0,"reasoning_tokens":2361,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T20:32:16.909204+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete tangent category together with a submersion and a proposed horizontal distribution for which the induced curvature operator violates the Bianchi identity.","supporting_citations":[],"review_version":1}