About: http://webisa.webdatacommons.org/400684922

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	For example, since the category Pos\mathbf{Pos} of posets and order-preserving maps satisfies each of the axioms except for #5, the axiom of choice is independent of the other axioms of ETCS.
http://www.w3.org/ns/prov#wasQuotedFrom	utexas.edu