33,777 reputation
23790
bio website
location
age
visits member for 3 years, 3 months
seen 7 mins ago

Feb
21
revised How do I complete this identity?
edited tags
Feb
20
revised Why is it crucial that $\kappa$ is a regular cardinal in the definition of $\kappa$-accessible categories?
deleted 105 characters in body
Feb
19
revised Why is it crucial that $\kappa$ is a regular cardinal in the definition of $\kappa$-accessible categories?
edited tags
Feb
7
revised What this statement is really saying to prove one Real number has missed the bijection with Integers?
edited tags
Feb
2
revised What is a regular FG-module?
edited tags
Jan
28
revised Model structure on sSet
edited tags
Jan
27
revised The two-sided simplicial bar construction is Reedy-cofibrant
edited body
Jan
25
revised Generators in a topos
edited tags
Jan
21
revised How does the axiom of regularity forbid self containing sets?
added 10 characters in body
Jan
18
revised Does free functor preserve monomorphism?
deleted 35 characters in body
Jan
13
revised Properties of $\pi_n$ from a category theoretical point of view
deleted 10 characters in body
Jan
10
revised Properties of algebraic closure of finite field
edited tags
Jan
10
revised Threefold category equivalence: algebraic curves, Riemann surfaces and fields of transcendence degree 1
edited tags
Jan
7
revised Creates limits and preserve limits
edited tags
Jan
6
revised Adjoint functor with initial objects
edited tags
Jan
3
revised I've read that abelian categories can naturally be enriched in $\mathbf{Ab}.$ How does this actually work?
edited tags
Dec
30
revised The “closed” subspaces of topological algebraic structures
added 108 characters in body
Dec
21
revised Existence proof of the tensor product using the Adjoint functor theorem.
edited tags
Dec
20
revised Pointed objects in a category
edited tags; edited title
Dec
17
revised Unprovable Equivalence in Type Theory
added 1977 characters in body