36,362 reputation
239104
bio website
location
age
visits member for 3 years, 7 months
seen 6 hours ago

Mar
5
answered Why an enriched natural transformation really is enriched natural.
Mar
3
answered Map induced by localization on categories
Mar
3
answered The functor $\mathrm{Haus}\to\mathrm{Set}$ sending a space to its set of open sets is not representable?
Mar
2
answered Proving that certain enriched representable functors are isomorphic
Mar
1
answered About two isomorphic schemes
Mar
1
answered Two non isomorphic algebraic varieties
Feb
28
answered Gödel's Completeness Theorem and satisfiability of a formula in first-order logic
Feb
27
answered Is the functor $\operatorname{Aut}(X): \operatorname{Mon} \longrightarrow \operatorname{Grp}^f$ representable ?
Feb
27
answered Characterizing Galois field extensions via tensor product
Feb
25
answered Directed graphs and right kan extensions
Feb
25
answered Abelian group of continuous sections
Feb
25
answered Question on the uniqueness of a homotopy colimit up to unique isomorphism
Feb
24
answered Integral morphism between varieties has finite fiber
Feb
24
answered Which graphs are dualizable?
Feb
23
answered “Topologification” of a subcollection of a power set
Feb
22
answered Where does one learn the algebraic geometry needed for topos theory?
Feb
22
answered Why is the smash product in a certain slice category associative?
Feb
21
answered pushforward of affines
Feb
21
answered Meaning of variables and applications in lambda calculus
Feb
20
answered Is there a (concrete) category of superstructures?