25 reputation
3
bio website
location
age
visits member for 2 years
seen Jul 17 at 13:07

Jun
1
comment Is $\operatorname{Fib}(B)$ cartesian closed when $B$ is?
Products should work pointwise, i.e. take the product category of the total spaces and make it fibered over products in B. Exponentials are less obvious.
May
31
asked Is $\operatorname{Fib}(B)$ cartesian closed when $B$ is?
Oct
5
comment Examples of non fibrations
Similarly I've found $2 \to 3$ sending the unique arrow in 2 to the composition in 3.
Oct
5
awarded  Supporter
Oct
5
accepted Examples of non fibrations
Oct
3
asked Examples of non fibrations
Oct
12
comment Do free monads on $Set^I$ (functor category) always exist?
Are there restrictions on $\mathcal{C}$ that would guarantee $J$ to be finitary? An interesting case for me is the category of finite sets.
Oct
12
awarded  Scholar
Oct
12
accepted Do free monads on $Set^I$ (functor category) always exist?
Oct
12
awarded  Student
Oct
12
asked Do free monads on $Set^I$ (functor category) always exist?