Indexed categories for program development
Induced Functors on Categories of Algebras.
Infinite Dimensional Calculus Allowing Nonconvey Domains with Empty Interior.
Inner actions and Galois -objects in a symmetric closed category
Internal crossed modules.
Internal object actions
We describe the place, among other known categorical constructions, of the internal object actions involved in the categorical notion of semidirect product, and introduce a new notion of representable action providing a common categorical description for the automorphism group of a group, for the algebra of derivations of a Lie algebra, and for the actor of a crossed module.
Internal presheaves toposes
Invariants of Three-dimensional Manifolds.
Inversion of integral series enumerating planar trees.
Invertible cohomological field theories and Weil-Petersson volumes
We show that the generating function for the higher Weil–Petersson volumes of the moduli spaces of stable curves with marked points can be obtained from Witten’s free energy by a change of variables given by Schur polynomials. Since this generating function has a natural extension to the moduli space of invertible Cohomological Field Theories, this suggests the existence of a “very large phase space”, correlation functions on which include Hodge integrals studied by C. Faber and R. Pandharipande....
Isolated squares in hypercubes and robustness of commutativity
Isomorphisms between left and right adjoints.
Iterative and metric algebraic theories