bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 4 years, 3 months |
seen | May 8 '13 at 17:24 | |
stats | profile views | 479 |
Jun 25 |
awarded | Promoter |
Jun 21 |
comment |
Cotensor vs exponential objects.
Thanks. Did you mean perhaps Hom(A,X) iso DAtensorX? |
Jun 21 |
accepted | Cotensor vs exponential objects. |
Jun 20 |
revised |
Cotensor vs exponential objects.
added 23 characters in body |
Jun 20 |
asked | Cotensor vs exponential objects. |
Jan 16 |
comment |
Codomain fibration.
Mh...that is not the simple fibration but a particular case of it (according to Jacobs). It is interesting for me anyway, it gives me some suggestions to work with. I was looking, however, for a fibration like this without pullbacks and it seems to be no possible. $C^{pr}$ has pullbacks as you say. Thank you anyway. |
Jan 16 |
accepted | Codomain fibration. |
Jan 10 |
comment |
Lawvere theories versus classical universal algebra
Related to this discussion:I've found the concept of "standard model of a Lawvere Theory".What is it commonly referred to?Is it just the product preserving functor from a Lawvere Theory to Set in the original definition of a Lawvere Theory? |
Dec 31 |
revised |
Category of graphs.
deleted 51 characters in body |
Dec 31 |
revised |
Codomain fibration.
added 4 characters in body; deleted 1 characters in body |
Dec 31 |
asked | Codomain fibration. |
Dec 30 |
comment |
Parametrized natural numbers object.
Well, I have it. Cartesian categories with parametrized natural numbers object are called Skolem categories in "Joyal's arithmetic universes via type theory" of Maria Emilia Maietti, Electronic Notes in Theoretical Computer Science. Volume 69, February 2003, Pages 272-286. This concept is used there to build up Joyal Arithmetic universes and finally the category of primitive recursive predicates using type theory. |
Dec 29 |
comment |
Parametrized natural numbers object.
You are right about the definition using slice categories. About the other I would love to know how to import diagrams from Lyx to show the explanation given in "On recursive principles in cartesian categories" L.Román.The definition I gave for parameterized was certainly incorrect:I tried to mimic non parameterized case since I didn't know how to add diagrams and I failed in my formulation.In that paper there are several equivalent formulations for cartesian and cartesian closed.I'll try to bring them here.Thanks,Andrej,do you know everything? ;-) |
Dec 29 |
comment |
Parametrized natural numbers object.
Mh...no, otherwise you had an extra variable with no sense. Am I correct? |
Dec 29 |
comment |
Freyd cover of a category.
So you mean: is it another way to pass from syntactic (what you call crude semantics) to semantic in every case? |
Dec 29 |
revised |
Parametrized natural numbers object.
deleted 25 characters in body |
Dec 29 |
awarded | Peer Pressure |
Dec 29 |
accepted | Freyd cover of a category. |
Dec 29 |
revised |
Freyd cover of a category.
deleted 26 characters in body |
Dec 21 |
accepted | The difference between the Recursive and the Effective topos. |