Topological properties of the real numbers object in a topos
Previous Page 4
Displaying 61 – 74 of 74
Topologically-algebraic structure functors full reflective or coreflective restrictions of semitopological functors
Manfred B. Wischnewsky (1979)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Torsion Theories in Non-Additive Categories.
Basil A. Rattray (1974)
Manuscripta mathematica
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body
F. William Lawvere (1980)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Towards an -category of cobordisms.
Cheng, Eugenia, Gurski, Nick (2007)
Theory and Applications of Categories [electronic only]
Traced premonoidal categories
Nick Benton, Martin Hyland (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.
Traced Premonoidal Categories
Nick Benton, Martin Hyland (2010)
RAIRO - Theoretical Informatics and Applications
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.
Traces dans les catégories monoïdales, dualité et catégories monoïdales fibrées
G. Maltsiniotis (1995)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Trames et sémantiques catégoriques des systèmes de trames
C. Lair (1987)
Diagrammes
Triples -structures
Dominique Bourn (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Trivialisations dans les catégories tannakiennes
Julien Bichon (1998)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Turning monoidal categories into strict ones.
Schauenburg, Peter (2001)
The New York Journal of Mathematics [electronic only]
Two closed categories of filters
Andreas Blass (1977)
Fundamenta Mathematicae
Two constructions on Lax functors
Ross Street (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Currently displaying 61 – 74 of 74
Previous Page 4