102 reputation
10
bio website
location
age
visits member for 4 years, 11 months
seen May 8 '13 at 17:24

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