Here, Dan Licata writes: [Univalence] can be used to build algebraic structures in such a way that isomorphic structures are equal (e.g. equality of groups is group isomorphism). He writes ...
Axiom of Choice-esque argument to show that a proof of a statement exists without actually giving a proof
What if the set of all well-formed statements in ZFC formed a kind of pseudo-category where a morphism f between objects A, B represented a formal proof that A implied B? What if that category could ...
Having only the a very cursory knowledge of Structuralism ( it's a movement generally held to have originated in linguistics, then moving on to philosophy & literature), there does appear to be ...
I am afraid to make a bad impression by misusing this forum but I am looking for as-many-as-possible mathematically inspired formulations and references to one (sometimes vague) idea. The idea is ...
I'm looking to understand the conceptual process that brought Eilenberg and Mac Lane in developing the basic concepts of category theory. I quote Mac Lane's book "Category theory for working ...