Topological properties of the real numbers object in a topos
Topologically-algebraic structure functors full reflective or coreflective restrictions of semitopological functors
Torsion Theories in Non-Additive Categories.
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body
Towards an -category of cobordisms.
Traced premonoidal categories
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
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
Trames et sémantiques catégoriques des systèmes de trames
Triples -structures
Trivialisations dans les catégories tannakiennes
Turning monoidal categories into strict ones.
Two closed categories of filters
Two constructions on Lax functors