Languages for triples, bicategories and braided monoidal categories
C. Barry Jay (1990)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
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 “The catgorical theory of self-similarity.”
Languages for triples, bicategories and braided monoidal categories
Cubical sets and their site.
Grandis, Marco, Mauri, Luca (2003)
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:
Every small -enriched category is Morita equivalent to an -monoid.
Mesablishvili, Bachuki (2004)
Theory and Applications of Categories [electronic only]
Similarity:
The Chu construction.
Barr, Michael (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Balanced coalgebroids.
Mccrudden, Paddy (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Enrichment over iterated monoidal categories.
Forcey, Stefan (2004)
Algebraic & Geometric Topology
Similarity:
Constructing quantales and their modules from monoidal categories
Susan B. Niefield (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Opmonoidal monads.
McCrudden, Paddy (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Finite sets and symmetric simplicial sets.
Grandis, Marco (2001)
Theory and Applications of Categories [electronic only]
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...
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: