Pages that link to "Item:Q1150684"

The following pages link to Triples and compact sheaf representation (Q1150684):

Displaying 8 items.

• Actions of Boolean rings on sets (Q583355) (← links)
• Comparison semigroups and algebras of transformations. (Q711608) (← links)
• Separable algebraic closure in a topos (Q1164699) (← links)
• Integral domain type representations in sheaves and other topoi (Q1227803) (← links)
• Monoids of non-halting programs with tests (Q1646607) (← links)
• Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
• (Q3201121) (← links)
• Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)