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.
Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Barr, Michael (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Mara Alagić (1989)
Publications de l'Institut Mathématique
Similarity:
Marco Grandis, Robert Paré (2012)
Diagrammes
Similarity:
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...
Kimmo I. Rosenthal (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Barr, Michael (1998)
Theory and Applications of Categories [electronic only]
Similarity:
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...