2
votes
0answers
67 views

About the adjoint concept. [closed]

I read somewhere the adjoint concept has some sort of philosophical implications, that can be expressed in non-technical terms. Some way to describe it in terms of logic without very difficult ...
2
votes
1answer
63 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
275 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
320 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
412 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 ...