# Tagged Questions

**8**

votes

**6**answers

1k views

### Intuitionistic logic as quantization of classical logic?

A classically trained mathematician is more likely to be familiar (at least anecdotally) with an area of mathematical physics such as deformation quantization than with Intuitionistic logic. It is ...

**0**

votes

**3**answers

493 views

### Sets = structured sets without structure

Motivation
There is presumably no single and widely accepted formal definition of structured sets = sets plus structure based on sets as primitive objects, but several approaches are around. See e.g. ...

**12**

votes

**1**answer

625 views

### evil properties, higher category theory and well-chosen tensor products

Let's start with the following random example: If $F$ is a presheaf, then for every chain of open subsets $U \subseteq V \subseteq W$, the morphisms $F(W) \to F(V) \to F(U)$ and $F(W) \to F(U)$ ...

**28**

votes

**5**answers

3k views

### Why do categorical foundationalists want to escape set theory?

This is a question that I have seen asked passively in comments relating to the separation of category theory from set theory, but I haven't seen it addressed in full.
I know that it's possible to ...

**43**

votes

**2**answers

4k views

### Lawvere's “Some thoughts on the future of category theory.”

In Lecture Notes in Mathematics 1488, Lawvere writes the introduction to the Proceedings for a 1990 conference in Como.
In this article, Lawvere, the inventor of Toposes and Algebraic Theories, ...

**19**

votes

**3**answers

3k views

### Category of categories as a foundation of mathematics

In
Lawvere, F. W., 1966, “The Category of
Categories as a Foundation for
Mathematics”, Proceedings of the
Conference on Categorical Algebra, La
Jolla, New York: Springer-Verlag,
1–21.
...

**8**

votes

**3**answers

1k views

### categorification of logic

has there be an effort to categorify first order logic? More particularly, structures in the sense of logic.
If so, then every structure of a first order theory is a category. so in particular, the ...

**23**

votes

**5**answers

4k views

### Categorical foundations without set theory

Can there be a foundations of mathematics using only category theory, i.e. no set theory? More precisely, the definition of a category is a class/set of objects and a class/set of arrows, satisfying ...

**11**

votes

**2**answers

698 views

### synthetic differential geometry and other alternative theories

There are models of differential geometry in which the intermediate value theorem is not true but every function is smooth. In fact I have a book sitting on my desk called "Models for Smooth ...

**51**

votes

**10**answers

4k views

### Why do Groups and Abelian Groups feel so different?

Groups are naturally "the symmetries of an object". To me, the group axioms are just a way of codifying what the symmetries of an object can be so we can study it abstractly.
However, this heuristic ...