Reputation
7,456
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 32
Newest
 Informed
Impact
~86k people reached

Jul
31
answered Failure of group definition with weaker axioms
Jul
27
answered Finding the kernel of maps between (polynomial) rings
Jul
11
answered When the unit of a universal property is an isomorphism
Jul
3
answered A functor preserves a product of $A$ and $B$ iff $F(A \times B) \cong F(A) \times F(B)$?
Jun
29
answered Prime ideals in $R[x]$, $R$ a PID
Jun
23
answered Natural Transformation: Direct Products
Jun
23
answered Category of sets and multi-valued functions
Jun
23
answered Proving consistency by constructing models? How and why?
Jun
22
answered Logic vs. type system
Jun
22
answered Does mathematics become circular at the bottom? What is at the bottom of mathematics?
Jun
19
answered Iterating until a diagram commutes
Apr
3
answered How can metalanguage be a formal language?
Mar
26
answered Limit as universal arrow
Feb
24
answered Proof of the Completeness Theorem in Predicate Calculus
Feb
15
answered The functor $\mathbf{D} \rightarrow \mathbf{Prof}$ obtained by “splitting” $F : \mathbf{C} \rightarrow \mathbf{D}$ at each object of $\mathbf{D}.$
Feb
15
answered What is the categorical diagram for the tensor product?
Jan
9
answered How to introduce type theory to newcomer
Jan
6
asked How to introduce type theory to newcomer
Dec
5
answered Example of an associative binary operation, without identities or inverses.
Nov
24
answered System of generators and surjective homomorphism