Gamuts and cofibrations
Generalizing substitution
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...
Generalizing Substitution
It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
Generating families in a topos.
Generators of categories of compact irreducible semigroups.
Generic commutative separable algebras and cospans of graphs.
Geometric and higher order logic in terms of abstract Stone duality.
Glueing analysis for complemented subtoposes.
Glueing enriched modules and composition of automata
Graphs of morphisms of graphs.
Graphs with given subgraphs represent all categories
Graphs with given subgraphs represent all categories. II.
Group-groupoid.
Groupoids and the Brauer group
Groupoids, stability cokernel sequences and duality