2
votes
1answer
62 views

Question about the univalence axiom versus skeleta.

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 ...
6
votes
2answers
130 views

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 ...
4
votes
2answers
269 views

Did Structuralism influence the formulation of Category Theory?

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 ...
5
votes
0answers
314 views

Structuralist slogans

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 ...
3
votes
0answers
398 views

Mac Lane and Eilenberg's motivations for category theory

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 ...