33,807 reputation
23790
bio website
location
age
visits member for 3 years, 3 months
seen 13 hours ago

Feb
6
answered Difference between the simplicial nerve and the nerve of a simplicial category
Feb
5
answered What is the category of internal locales in a topos equivalent to?
Feb
4
answered Two questions on homotopy type theory
Feb
4
answered Isomorphism through adjunction
Jan
30
answered Categorical viewpoint of $k[x]^\ast\cong k[[x]]$
Jan
29
answered Is there a generalisation of Yoneda embedding to toposes?
Jan
27
answered Simplicial n-sphere as a coequalizer? (trivial question)
Jan
26
answered Can a ring that is not finitely generated and contains $\mathbb{C}$ be Noetherian?
Jan
24
answered Generators in a topos
Jan
19
answered Understanding the Affine Case of a Stacky Result
Jan
18
answered Does free functor preserve monomorphism?
Jan
16
answered How to represent Smullyan's “Mockingbird” puzzles in (Homotopy) Type Theory?
Jan
15
answered Is the derived category of a commutative ring monoidal?
Jan
14
answered Is there a standard form for packaging up slice categories into a 2-category?
Jan
14
answered Monoid and category
Jan
13
answered Are discrete fibrations of monoids equivalent to monoid actions?
Jan
13
answered Double negation distributes over conjunction
Jan
12
answered Properties of $\pi_n$ from a category theoretical point of view
Jan
11
answered Signatures having precisely one constant symbol, and pointed categories.
Jan
10
answered What are simplicial topological spaces intuitively?