Coherence of the double involution on -autonomous categories.
Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Relevant Categories and Partial Functions”
Coherence of the double involution on -autonomous categories.
Indexed categories for program development
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
The Chu construction.
Barr, Michael (1996)
Theory and Applications of Categories [electronic only]
Similarity:
On Categories of Relations
Mara Alagić (1989)
Publications de l'Institut Mathématique
Similarity:
From cubical to globular higher categories
Marco Grandis, Robert Paré (2012)
Diagrammes
Similarity:
Adjointness between theories and strict theories
Hans-Jürgen Vogel (2003)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
A note on categories enriched in quantaloids and modal and temporal logic
Kimmo I. Rosenthal (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Bicat is not triequivalent to Gray.
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
The separated extensional Chu category.
Barr, Michael (1998)
Theory and Applications of Categories [electronic only]
Similarity:
Towards a logic of semiotic systems
Constantin Thiopoulos (1992)
Mathématiques et Sciences Humaines
Similarity:
The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...