Revision #750 → #1107 · back to history
addedConcrete category (informal)29ff3c971243
addedConcrete category (elementary form)a6951ce77cc0
addedConcrete category (formal)538c25993bc4
addedForgetful functor interpretation72297f30cda5
addedHomomorphisms in a concrete categorya9135722f527
addedConcretizable category00c3be48a962
addedEvery small category is concretizable97fcd59ffe45
addedDistinct topologies, same underlying seta9e17ff54be2
addedFour-element set with two group structures0c1c0997faea
addedCategory of sets with partial functions082ddda41b38
addedGroup as a concrete category0619c2c614d7
addedPoset as a concrete categorya8ba059ef071
addedCategory Rel of sets and relations07d07726d7b5
addedSet^op embeds in Relc20fb641e2ac
addedOpposite of concretizable is concretizable0cb39afd81c3
addedFaithful functor from presheaf categoryd25c6b594e29
addedBanach spaces with unit ball functor3e46e7788614
addedCategory Cat of small categoriesc795bb2adff9
addedhTop is not concretizable (Freyd)16b77eebfaa1
addedN-ary predicate and N-ary operationc2b246c41300
addedModels of signature recover C284b23d754b4
addedConcrete category over X4630359b363f
addedConstructedb957c8bf39