Impact
~5k
people reached
- 0 posts edited
- 0 helpful flags
- 20 votes cast
Jul
2 |
awarded | Curious |
Jun
23 |
awarded | Nice Question |
Jun
23 |
awarded | Teacher |
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 |