Integral Domain Type Representations in Sheaves and Other Topoi.
Integrating observational and computational features in the specification of state-based, dynamical systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system states...
Internal categories in a left exact cosimplicial category.
Internal crossed modules.
Internal monotone-light factorization for categories via preorders.
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
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Intersection homology Poincaré spaces and the characteristic variety theorem.
Intersection theory on algebraic stacks and on their moduli spaces.
Intersection theory using Adams operations.
Intertwining operators over L1 (G) for G ? [PG] ? [SIN].
Introduction à l'analyse algébrique
Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
Introduction to -infinity algebras and modules.
Introduction to coalgebra.
Intuitionistic -fuzzy relations.
Invariance homotopique en -théorie hermitienne
Invariants of Three-dimensional Manifolds.