Establishes equivalent formulations of connections in tangent categories.
problem Generalizing connections in tangent categories.
method Defined and generalized the notion of connection on differential bundles in tangent categories, provided equivalent formulations, and showed equivalences with specific morphisms and diagrams.
result Equivalent formulations of connections in tangent categories reduce the amount of specified structure and axioms required.