Unity and identity of opposites in calculus and physics

@article{Lawvere1996UnityAI,
  title={Unity and identity of opposites in calculus and physics},
  author={F. William Lawvere},
  journal={Applied Categorical Structures},
  year={1996},
  volume={4},
  pages={167-174}
}
  • F. W. Lawvere
  • Published 1996
  • Mathematics, Computer Science
  • Applied Categorical Structures
A significant fraction of dialectical philosophy can be modeled mathematically through the use of “cylinders” (diagrams of shape Δ) in a category, wherein the two identical subobjects (united by the third map in the diagram) are “opposite”. In a bicategory, oppositeness can be very effectively characterized in terms of adjointness, but even in an ordinary category it may sometimes be given a useful definition. For example, an effective basis for teaching calculus is a ringed category satisfying… Expand

Topics from this paper

Grassmann’s Dialectics and Category Theory
In several key connections in his foundations of geometrical algebra, Grassmann makes significant use of the dialectical philosophy of 150 years ago. Now, after fifty years of development of categoryExpand
THE SHAPE OF A CATEGORY UP TO DIRECTED HOMOTOPY
This work is a contribution to a recent field, Directed Algebraic Topology. Categories which appear as fundamental categories of ‘directed structures’, e.g. ordered topological spaces, have to beExpand
Linearization of graphic toposes via Coxeter groups
Abstract In an associative algebra over a field K of characteristic not 2, those idempotent elements a , for which the inner derivation [−, a ] is also idempotent, form a monoid M satisfying theExpand
LA DIALÉCTICA DEL CÁLCULO INFINITESIMAL
In the last third part of 20th century a formal theory of the infinitesimal calculus has been developed, the models of which are categories of variable sets with an intuitionistic logic. In this workExpand
Euler’s Continuum Functorially Vindicated
Contrary to common opinion, the question “what is the continuum?” does not have a final answer (Bell, 2005), the immortal work of Dedekind notwithstanding. There is a deeper answer implicit in anExpand
Birkhoff's Theorem from a geometric perspective: A simple example
‎From Hilbert's theorem of zeroes‎, ‎and from Noether's ideal theory‎, ‎Birkhoff derived certain algebraic concepts (as explained by Tholen) that have a dual significance in general toposes‎,Expand
Directed Algebraic Topology: Models of Non-Reversible Worlds
This is the first authored book to be dedicated to the new field of directed algebraic topology that arose in the 1990s, in homotopy theory and in the theory of concurrent processes. Its general aimExpand
Balanced category theory
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simpleExpand
Functorial Erkennen
We outline a ‘formal theory of scientific theories’ rooted in the theory of profunctors; the category-theoretic asset stresses the fact that the scope of scientific knowledge is to build ‘meaningfulExpand
Levels in the toposes of simplicial sets and cubical sets
Abstract The essential subtoposes of a fixed topos form a complete lattice, which gives rise to the notion of a level in a topos. In the familiar example of simplicial sets, levels coincide withExpand
...
1
2
3
...

References

SHOWING 1-4 OF 4 REFERENCES
Categories of Space and of Quantity
0. The ancient and honorable role of philosophy as a servant to the learning, development and use of scientific knowledge, though sadly underdeveloped since Grassmann, has been re-emerging fromExpand