Dualities of concrete categories
Hans-E. Porst (1976)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Final Dialgebras: From Categories to Allegories”
Dualities of concrete categories
On Categories of Relations
Mara Alagić (1989)
Publications de l'Institut Mathématique
Similarity:
Categorical Pullbacks
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
Indexed categories for program development
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Relations With I-structure in Categories With Pullbacks
Mara Alagić (1991)
Publications de l'Institut Mathématique
Similarity:
Traced Premonoidal Categories
Nick Benton, Martin Hyland (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.