Higher-dimensional categories with finite derivation type.
Homomorphisms of algebras
A construction of all homomorphisms of an algebra with a finite number of operations into an algebra of the same type is presented that consists in replacing algebras by suitable mono-unary algebras (possibly with some nullary operations) and their homomorphisms by suitable homomorphisms of the corresponding mono-unary algebras. Since a construction of all homomorphisms between two mono-unary algebras is known (see, e.g., [6], [7], [8]), a construction of all homomorphisms of an arbitrary algebra...
Homomorphisms of ergodic group actions and conjugacy of skew product actions.
Homomorphisms of heterogeneous algebras
A construction of all homomorphisms of a heterogeneous algebra into an algebra of the same type is presented. A relational structure is assigned to any heterogeneous algebra, and homomorphisms between these relational structures make it possible to construct homomorphisms between heterogeneous algebras. Homomorphisms of relational structures can be constructed using homomorphisms of algebras that are described in [11].
Homomorphisms of unary algebras and of their expansions
Homotopic pullbacks, Lax pullbacks, and exponentiability
Homotopy preserving functors
Homotopy transition cocycles.
Hull operators on a category of spaces of continuous functions on Hausdorff spaces
Imbedding compact semigroups in compact inverse semigroups.
Inequilogical spaces, directed homology and noncommutative geometry.
Infinitesimal and local structures for Banach spaces and its exponentials in a topos
Infinitésimaux et intuitionnisme
Information systems in categories of valued relations.
The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.
Initial Morphisms and Monomorphisms.
Initial normal covers in bi-Heyting toposes
The dual of the category of pointed objects of a topos is semi-abelian, thus is provided with a notion of semi-direct product and a corresponding notion of action. In this paper, we study various conditions for representability of these actions. First, we show this to be equivalent to the existence of initial normal covers in the category of pointed objects of the topos. For Grothendieck toposes, actions are representable provided the topos admits an essential Boolean covering. This contains the...
Injectives in arrow categories
Innere Translationen der kleinen Kategorien
Internal categories in a left exact cosimplicial category.
Introduction to coalgebra.