Skip to main content
Mathematics
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine
  • Member for 12 years, 6 months
  • Last seen more than 2 years ago
Profile Activity

Stats

9,913
reputation
397k
reached
245
answers
29
questions
Communities
View all

About

A plucky amateur with a love for NF set theory, topos theory, and logic generally.

Badges

View all badges
2
gold badges
22
silver badges
29
bronze badges

Top tags

View all tags
300
Score
126
Posts
46
Posts %
174
Score
19
Posts
7
Posts %
102
Score
45
Posts
16
Posts %
75
Score
55
Posts
20
Posts %
66
Score
34
Posts
12
Posts %
45
Score
24
Posts
9
Posts %

Top posts

View all questions and answers
127
Are all mathematicians human calculators?
Nov 4, 2013
50
What is exactly the difference between a definition and an axiom?
Sep 9, 2015
31
A bestiary about adjunctions
Nov 5, 2013
21
How do you describe your mathematical research in layman's terms?
Feb 20, 2014
11
Automorphism group of a functor
Jan 3, 2020
9
Why am I learning model theory?
Oct 23, 2013
9
Abstract nonsense proof
Jun 7, 2014
9
Can a general version of the covariant powerset monad be derived from the universal property of power objects?
Mar 16, 2015
9
Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book
Jan 5, 2014
9
In category theory: What is a fibration and why should I care about them?
Jun 5, 2016

Top network posts

View all network posts
16
Seeing what gets Harvey Friedman's "tangible incompleteness" principles into large cardinal territory
11
Definitions of ordinal besides von Neumann & Frege-Russel?
10
What would our knowledge of physics look like without astronomical observations?
8
What mechanisms have been used to make magic risky?
6
How much of ZFC does Quine's New Foundations prove?