« first day (2887 days earlier)      last day (1239 days later) » 

3:54 AM
@MartinSleziak This seems to be a new tag: math.stackexchange.com/questions/tagged/…
4:08 AM
A new tag was created by YuiTo Cheng. There is also a tag-excerpt and a tag-wiki. A tag with this name exists on MO.
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. == Etymology == Named after René Descartes (1596–1650), French philosopher, m...
I did not find older instances of the tag.
Queries which show also editors who added/removed the tag: data.stackexchange.com/math/query/1105163/… data.stackexchange.com/math/query/1038474/…
Q: Show $\operatorname{Hom}(1, [\cdot \times B \to C]) \cong \operatorname{Hom}(\cdot \times B, C)$ in a cartesian closed category?

RodrigoConsider a cartesian closed category where the exponential object is $[A \to B] = B^A$. The following kind of isomorphism is stated in my book as evident: $\operatorname{Hom}(1, [\cdot \times B \to C]) \cong \operatorname{Hom}(\cdot \times B, C)$ Here $1$ should be the terminal object of the ca...

Q: Is Top provably not cartesian closed?

Rob ArthanIt is often said that the category $\sf Top$ of topological spaces and continuous mappings is not cartesian closed. E.g., in the Wikipedia article on compactly generated spaces and in an answer on this site. Can anyone point me at a proof that $\sf Top$ cannot be made into a cartesian closed cate...

Q: Are there important locally cartesian closed categories that actually are not cartesian closed?

Colin McLartyIn some (but not all) of the published definitions, a locally cartesian closed category is any category with all its slices cartesian closed. Such a category need not be cartesian closed itself, simply because it need not have a terminal object. As a prominent example, there is the $n$-categor...

Q: Show that the powerset partial order is a cartesian closed category.

J. B.I'm trying to get started learning category theory. A problem I'm working on is to show that for a set $S$, the partial order $(\mathcal{P}(S),\subseteq)$ viewed as a category is cartesian closed. So far, I was thinking that $S$ is the terminal object, and that the product of any two subsets $...

Q: Relation between Cartesian closed category and Lambda Calculus

anil keshavI am programmer (from the object oriented world) and currently getting my head around functional programming. I was looking to get some basics right. I understand what category theory and lambda calculus try and tell . I did read that lambda calculus can be modelled in any Cartesian closed categ...

4 hours later…
8:00 AM
A tag called could be relevant now: Favorites are now known as Bookmarks. Maybe it should be created and made a synonym of ?
Although historically we have used also for questions about favorite tags - should we separate those questions under a separated tag? math.meta.stackexchange.com/posts/4595/revisions math.meta.stackexchange.com/posts/4596/revisions
I think I have mentioned favorite tags in this room before.
Favorite tags are now called "tag watching".
Jul 26 '18 at 17:08, by Martin Sleziak
So should we have tag on meta? There is also unresolved issue with and .
8:14 AM
@MartinSleziak If you're referring to the default tag on every Meta, renaming it is currently : meta.stackexchange.com/a/347566/313042
@MartinSleziak Separating out the "favorites" questions from the "favorite tags" questions might be a good idea.
10:21 AM
Thanks, I did not notice it is a default tag.
A: Favorites are now known as Bookmarks

Glorfindelsupport feature-request status-planned According to What tags exist by default on child metas?, there is a default [favorites] tag on all ~170 child metas in the network, e.g. on Meta Stack Overflow but also on the newest private beta site. To give you an idea how often it is used in practice, s...


« first day (2887 days earlier)      last day (1239 days later) »