On classification, logical educational materials, categories, and automata
Z. Semadeni (1974)
Colloquium Mathematicae
Similarity:
Displaying similar documents to “Functorial concepts of complexity for finite automata.”
On classification, logical educational materials, categories, and automata
Initial normal covers in bi-Heyting toposes
Francis Borceux, Dominique Bourn, Peter Johnstone (2006)
Archivum Mathematicum
Similarity:
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...
Every Grothendieck topos has a one-way site.
McLarty, Colin (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Partial toposes.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Similarity:
On the size of categories.
Freyd, Peter, Street, Ross (1995)
Theory and Applications of Categories [electronic only]
Similarity:
On saturated classes of morphisms.
Casacuberta, Carles, Frei, Armin (2000)
Theory and Applications of Categories [electronic only]
Similarity:
TAC : Theory and Applications of Categories
CTGDC (2008)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Numerology in topoi.
Freyd, Peter (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Aspects of fractional exponent functors.
Kock, Anders, Reyes, Gonzalo E. (1999)
Theory and Applications of Categories [electronic only]
Similarity:
A note on actions of a monoidal category.
Janelidze, G., Kelly, G.M. (2001)
Theory and Applications of Categories [electronic only]
Similarity: