Skip to main content
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine
  • Member for 10 years, 7 months
  • Last seen more than a month ago
127 votes

Are all mathematicians human calculators?

47 votes
Accepted

What is exactly the difference between a definition and an axiom?

29 votes

A bestiary about adjunctions

21 votes

How do you describe your mathematical research in layman's terms?

10 votes
Accepted

Automorphism group of a functor

9 votes

Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book

9 votes

Abstract nonsense proof

9 votes

In category theory: What is a fibration and why should I care about them?

8 votes
Accepted

"All math is useful eventually"

7 votes
Accepted

What's the best way to teach oneself both Category Theory & Model Theory?

7 votes
Accepted

What is the opposite category of the category of Presheaves?

6 votes
Accepted

Advice on reading Category Theory

6 votes

Purpose of the Peano Axioms

6 votes

Does Graphical evidence count as / contribute to a Proof in Mathematics?

6 votes

Functor of points and category theory

6 votes

Elementary topoi have initial objects, why?

6 votes

How to study first order logic, without the use of sets?

5 votes

What is the purpose of universal quantifier?

5 votes
Accepted

The place of lambda abstraction in internal and Mitchell-Bénabou languages

5 votes
Accepted

Does comma category generalize natural transformation to a certain extend?

5 votes
Accepted

Comparing product definitions in well-pointed categories vs general categories

5 votes

What is a logical formula in the language of categories? How can we express basic model theoretic concepts categorically?

4 votes

Let $\epsilon$ be a topos and let $f:Y\to X$ be a morphism. Let $M,N$ be two subobjects of $X$. Is it true that $f^*(M\cap N)=f^*(M)\cap f^*(N)$?

4 votes
Accepted

What is exponentiation in the slice category?

4 votes
Accepted

Equalizer of character arrows in a topos

4 votes
Accepted

Classifying map of a graph of a morphism

4 votes

Is there a model exists, such that homomorphic to the set of real numbers but the order is given by $\in$?

4 votes
Accepted

Is not first order axiomatizable?

4 votes
Accepted

Faithful functor preserves monics

4 votes

How large can a non-standard element of $\omega$ be?

1
2 3 4 5
9