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:
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...