Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: Freyd category

Bottom of Page

1 to 34 of 34

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeJun 1st 2017
- PermaLink
Author: Urs
Format: MarkdownItexsomebody created _[[Freyd category]]_

somebody created Freyd category
- CommentRowNumber2.
- CommentAuthorRodMcGuire
- CommentTimeJun 1st 2017
- (edited Jun 1st 2017)
- PermaLink
Author: RodMcGuire
Format: MarkdownItexThe definition given is: > * a [[small category]] $\mathbb{V}$ with [[finite products]]; * a small category $\mathbb{C}$; * an [[action]] of $\mathbb{V}$ on $\mathbb{C}$ (with the finite products providing a [[symmetric monoidal category|symmetric monoidal structure]] for $\mathbb{V}$) * an identity-on-objects [[functor]] $\mathbb{V} \to \mathbb{C}$ that preserves the actions. What does **"an identity-on-objects functor"** mean? I've come across this phase several times but I can't google up a definition. In the Stanton paper reference I linked the doi, giving > [doi:10.1016/j.entcs.2014.02.010](https://doi.org/10.1016/j.entcs.2014.02.010) (free) In that paper Stanton says: > A Freyd category comprises two categories with the same objects: one V, whose morphisms denote pure, value judgements, and one C, whose morphisms denote judgements of computations, together with an identity-on-objects functor J : V → C. Was that $\mathbb{V}$ and $\mathbb{C}$ have the same objects left out of the definition, is that some how a consequence, or is a more restricted definition? EDIT: Levy's book, Call-By-Push-Value: A Functional/Imperative Synthesis, is readable (somewhat) as a [Google Book](https://books.google.com/books/about/Call_By_Push_Value.html?id=M_KpCAAAQBAJ&printsec=frontcover&source=kp_read_button#v=onepage&q&f=false). There is given: >**Definition B.10** Let C be a cartesian category and K a category such that ob K = ob C - we write a morphism in K as $f: A \to B$. A Freyd category from C to K consists of > * an identity-on-objects functor i from C to K * a left C-action on K, extending (along i) the canonical left C-action on C.
The definition given is:
- a small category $\mathbb{V}$ with finite products;
- a small category $\mathbb{C}$ ;
- an action of $\mathbb{V}$ on $\mathbb{C}$ (with the finite products providing a symmetric monoidal structure for $\mathbb{V}$ )
- an identity-on-objects functor $\mathbb{V} \to \mathbb{C}$ that preserves the actions.
What does “an identity-on-objects functor” mean? I’ve come across this phase several times but I can’t google up a definition.

In the Stanton paper reference I linked the doi, giving

doi:10.1016/j.entcs.2014.02.010 (free)

In that paper Stanton says:

A Freyd category comprises two categories with the same objects: one V, whose morphisms denote pure, value judgements, and one C, whose morphisms denote judgements of computations, together with an identity-on-objects functor J : V → C.

Was that $\mathbb{V}$ and $\mathbb{C}$ have the same objects left out of the definition, is that some how a consequence, or is a more restricted definition?

EDIT: Levy’s book, Call-By-Push-Value: A Functional/Imperative Synthesis, is readable (somewhat) as a Google Book. There is given:
Definition B.10 Let C be a cartesian category and K a category such that ob K = ob C - we write a morphism in K as $f: A \to B$ . A Freyd category from C to K consists of
- an identity-on-objects functor i from C to K
- a left C-action on K, extending (along i) the canonical left C-action on C.
- CommentRowNumber3.
- CommentAuthorMike Shulman
- CommentTimeJun 1st 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexAn identity-on-objects functor $V\to C$ is a functor whose underlying function $ob(V) \to ob(C)$ is an identity function. In particular, this implies that $ob(V) = ob(C)$ as sets.

An identity-on-objects functor $V\to C$ is a functor whose underlying function $ob(V) \to ob(C)$ is an identity function. In particular, this implies that $ob(V) = ob(C)$ as sets.
- CommentRowNumber4.
- CommentAuthorRodMcGuire
- CommentTimeJun 1st 2017
- PermaLink
Author: RodMcGuire
Format: MarkdownItex> An identity-on-objects functor $V\to C$ is a functor whose underlying function $ob(V) \to ob(C)$ is an identity function. In particular, this implies that $ob(V) = ob(C)$ as sets. That definition seems rather nonsensical. How can one have an identity function between two different sets? Were I to create a nLab page [[identity-on-objects functor]] would the below be a better definition? > An **identity-on-objects [[functor]]** $V\to C$ is between two categories with its underlying object function $ob(V) \to ob(C)$ a [[bijection]]. One can regard the categories as having as having the same set of objects, $ob(V) = ob(C)$, which makes the object function the [[identity]].

An identity-on-objects functor $V\to C$ is a functor whose underlying function $ob(V) \to ob(C)$ is an identity function. In particular, this implies that $ob(V) = ob(C)$ as sets.

That definition seems rather nonsensical. How can one have an identity function between two different sets?

Were I to create a nLab page identity-on-objects functor would the below be a better definition?

An identity-on-objects functor $V\to C$ is between two categories with its underlying object function $ob(V) \to ob(C)$ a bijection. One can regard the categories as having as having the same set of objects, $ob(V) = ob(C)$ , which makes the object function the identity.
- CommentRowNumber5.
- CommentAuthorMike Shulman
- CommentTimeJun 1st 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItex> How can one have an identity function between two different sets? Well, as given to us, they're not *known* to be the same set, but asserting that some given function between them is an identity function entails in particular that they *are* the same set, since identity functions have equal domain and codomain. Of course this only makes sense in an "evil" context where we can talk about equality of sets as a proposition to be proven. Otherwise one should either talk about the function on objects being a bijection --- or, better, talk about categories enriched in $Set^{\to}$, as with [[M-categories]]. But I would object to *defining* "identity on objects functor" to mean a bijection on objects, since that's manifestly not what the words mean.

How can one have an identity function between two different sets?

Well, as given to us, they’re not known to be the same set, but asserting that some given function between them is an identity function entails in particular that they are the same set, since identity functions have equal domain and codomain.

Of course this only makes sense in an “evil” context where we can talk about equality of sets as a proposition to be proven. Otherwise one should either talk about the function on objects being a bijection — or, better, talk about categories enriched in $Set^{\to}$ , as with M-categories. But I would object to defining “identity on objects functor” to mean a bijection on objects, since that’s manifestly not what the words mean.
- CommentRowNumber6.
- CommentAuthorRichard Williamson
- CommentTimeJun 1st 2017
- (edited Jun 1st 2017)
- PermaLink
Author: Richard Williamson
Format: MarkdownItexI would say the main point of the definition is that even if $\mathbb{V}$ and $\mathbb{C}$ have the same set of objects, there is no need for a functor between them to be the identity function between the object sets: we are requiring that it _does_ have this property. I do have some sympathy for Rod's point, though: I myself would probably state explicitly at the outset that $\mathbb{V}$ and $\mathbb{C}$ have the same set of objects, rather than leaving it implicit. I.e. I would define an identity on objects functor only between categories whose object sets are the same.

I would say the main point of the definition is that even if $\mathbb{V}$ and $\mathbb{C}$ have the same set of objects, there is no need for a functor between them to be the identity function between the object sets: we are requiring that it does have this property.

I do have some sympathy for Rod’s point, though: I myself would probably state explicitly at the outset that $\mathbb{V}$ and $\mathbb{C}$ have the same set of objects, rather than leaving it implicit. I.e. I would define an identity on objects functor only between categories whose object sets are the same.
- CommentRowNumber7.
- CommentAuthorMike Shulman
- CommentTimeJun 1st 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexOf course.

Of course.
- CommentRowNumber8.
- CommentAuthorRichard Williamson
- CommentTimeJun 1st 2017
- PermaLink
Author: Richard Williamson
Format: MarkdownItex(My first paragraph was intended for Rod in case it helped clarify :-))

(My first paragraph was intended for Rod in case it helped clarify :-))
- CommentRowNumber9.
- CommentAuthorUrs
- CommentTimeJun 2nd 2017
- (edited Jun 2nd 2017)
- PermaLink
Author: Urs
Format: MarkdownItexJust as a reminder: The person who created the entry (some _Bram Geron_ according to the signature of [rev1](https://ncatlab.org/nlab/revision/Freyd+category/1)) is clearly not hanging around here. So it's probably futile to lament deficiencies of his note here. You should just open the entry and edit it accordingly.

Just as a reminder: The person who created the entry (some Bram Geron according to the signature of rev1) is clearly not hanging around here. So it’s probably futile to lament deficiencies of his note here. You should just open the entry and edit it accordingly.
- CommentRowNumber10.
- CommentAuthorRodMcGuire
- CommentTimeJun 2nd 2017
- (edited Jun 2nd 2017)
- PermaLink
Author: RodMcGuire
Format: MarkdownItexUrs > Just as a reminder: The person who created the entry (some Bram Geron according to the signature of rev1) is clearly not hanging around here. So it’s probably futile to lament deficiencies of his note here. [[Bram Geron]] has been here since July 2015 and has done minor edits to around 12 pages. Freyd Category appears to be his first content creation. (from his website linked from his nLab page [he says](https://bram.xyz/blog/) he is a student of Paul Blain Levy who came up with Freyd Categories. Maybe he just needs more time or encouragement.) I've created the page [[identity-on-objects functor]]. It is pretty basic with no mention of size or evilness. > An **identity-on-objects [[functor]]** $F: \mathbb{A}\to \mathbb{B}$ >* Is between categories with the same objects - $Obj = ob(\mathbb{A}) = ob(\mathbb{B})$. * Has as its underlying object function $F_{ob}: Obj \to Obj$ the [[identity]] function on $Obj$. I've updated [[Freyd category]] to link that along with saying that $\mathbb{V}$ and $\mathbb{C}$ have the same objects, footnoted that this is implied or required by having an identity-on-objects functor. EDIT: [Google says](https://www.google.com/search?q=%22identity-on-objects%22+functor+site%3Ahttps%3A%2F%2Fncatlab.org%2F) that **identity--on-objects** shows up on 126 nLab pages. I don't know how many of those usages are compatible with the definition I gave and which of those pages should be linked to the definition.
Urs

Just as a reminder: The person who created the entry (some Bram Geron according to the signature of rev1) is clearly not hanging around here. So it’s probably futile to lament deficiencies of his note here.

Bram Geron has been here since July 2015 and has done minor edits to around 12 pages. Freyd Category appears to be his first content creation. (from his website linked from his nLab page he says he is a student of Paul Blain Levy who came up with Freyd Categories. Maybe he just needs more time or encouragement.)

I’ve created the page identity-on-objects functor. It is pretty basic with no mention of size or evilness.
An identity-on-objects functor $F: \mathbb{A}\to \mathbb{B}$
- Is between categories with the same objects - $Obj = ob(\mathbb{A}) = ob(\mathbb{B})$ .
- Has as its underlying object function $F_{ob}: Obj \to Obj$ the identity function on $Obj$ .
I’ve updated Freyd category to link that along with saying that $\mathbb{V}$ and $\mathbb{C}$ have the same objects, footnoted that this is implied or required by having an identity-on-objects functor.

EDIT: Google says that identity–on-objects shows up on 126 nLab pages. I don’t know how many of those usages are compatible with the definition I gave and which of those pages should be linked to the definition.
- CommentRowNumber11.
- CommentAuthorUrs
- CommentTimeJun 3rd 2017
- (edited Jun 3rd 2017)
- PermaLink
Author: Urs
Format: MarkdownItexRod: What I am saying is that he does not seem to be participating here on the $n$Forum. He should. The _[[HomePage]]_ asks people who make edits on the $n$Lab to announce their edits here on the $n$Forum. Many do not. (I am suspecting the fact that the $n$Forum requires a login is off-putting, I wish instead the $n$Forum were open, but I don''t know how to change it.) If you know him, maybe you could contact him personally.

Rod: What I am saying is that he does not seem to be participating here on the $n$ Forum. He should. The HomePage asks people who make edits on the $n$ Lab to announce their edits here on the $n$ Forum. Many do not. (I am suspecting the fact that the $n$ Forum requires a login is off-putting, I wish instead the $n$ Forum were open, but I don”t know how to change it.) If you know him, maybe you could contact him personally.
- CommentRowNumber12.
- CommentAuthorbgeron
- CommentTimeJun 5th 2017
- PermaLink
Author: bgeron
Format: TextHi all, Thanks to Noam for pointing me to this discussion. I didn't read the homepage far/thoroughly enough to realise that my presence and activity here would be appreciated :) Thanks, Urs, for making this post and realising I'm not really on the nForum. Thanks Urs and Rod for expanding/formatting the stub entry on Freyd categories I made. I just quickly made the entry because I keep forgetting what a Freyd category is and it's tiresome to look it up otherwise. I don't really have anything else to say about them really! In case I forget to check the nForum for replies, you're welcome to ping me at firstname @ firstname . xyz. Cheers, Bram
Hi all,

Thanks to Noam for pointing me to this discussion. I didn't read the homepage far/thoroughly enough to realise that my presence and activity here would be appreciated :) Thanks, Urs, for making this post and realising I'm not really on the nForum.

Thanks Urs and Rod for expanding/formatting the stub entry on Freyd categories I made. I just quickly made the entry because I keep forgetting what a Freyd category is and it's tiresome to look it up otherwise. I don't really have anything else to say about them really!

In case I forget to check the nForum for replies, you're welcome to ping me at firstname @ firstname . xyz.

Cheers, Bram
- CommentRowNumber13.
- CommentAuthormaxsnew
- CommentTimeSep 21st 2017
- PermaLink
Author: maxsnew
Format: MarkdownItexI updated the references to make clear that this was introduced earlier by Power-Thielecke, not by Levy. Also, I'm currently reading/using a lot of these papers on modelling effects using monads and I've noticed the nlab material is quite thin. Would it be a welcome addition to write more about it? In my experience you end up with a lot of structures that seem very bizarre from a category-theoretic POV like [[Freyd categories]] and [[premonoidal categories]] that use non-natural transformations and identity-on-objects functors, so it seems like the kind of thing that goes against the nlab philosophy.

I updated the references to make clear that this was introduced earlier by Power-Thielecke, not by Levy.

Also, I’m currently reading/using a lot of these papers on modelling effects using monads and I’ve noticed the nlab material is quite thin. Would it be a welcome addition to write more about it? In my experience you end up with a lot of structures that seem very bizarre from a category-theoretic POV like Freyd categories and premonoidal categories that use non-natural transformations and identity-on-objects functors, so it seems like the kind of thing that goes against the nlab philosophy.
- CommentRowNumber14.
- CommentAuthorTodd_Trimble
- CommentTimeSep 21st 2017
- PermaLink
Author: Todd_Trimble
Format: MarkdownItexWhat does "locally $\emptyset$-presentable" mean?

What does “locally $\emptyset$ -presentable” mean?
- CommentRowNumber15.
- CommentAuthorTodd_Trimble
- CommentTimeSep 21st 2017
- PermaLink
Author: Todd_Trimble
Format: MarkdownItexMax, I'm sure it would be welcome.

Max, I’m sure it would be welcome.
- CommentRowNumber16.
- CommentAuthorUrs
- CommentTimeSep 21st 2017
- PermaLink
Author: Urs
Format: MarkdownItex> I’m currently reading/using a lot of these papers on modelling effects using monads and I’ve noticed the nlab material is quite thin. Would it be a welcome addition to write more about it? Yes, please do.

I’m currently reading/using a lot of these papers on modelling effects using monads and I’ve noticed the nlab material is quite thin. Would it be a welcome addition to write more about it?

Yes, please do.
- CommentRowNumber17.
- CommentAuthorDavidRoberts
- CommentTimeSep 21st 2017
- PermaLink
Author: DavidRoberts
Format: MarkdownItexIt occurs to me that an identity on objects functor $C\to D$ can be defined for a wider class of categories, if we consider them defined in a dependently typed way. Namely, given a collection $O$ of objects we have homs $C(x, y)$ and $D(x, y)$ for $x,y:O$ and functions $C(x, y) \to D(x, y)$ that preserve composition.

It occurs to me that an identity on objects functor $C\to D$ can be defined for a wider class of categories, if we consider them defined in a dependently typed way. Namely, given a collection $O$ of objects we have homs $C(x, y)$ and $D(x, y)$ for $x,y:O$ and functions $C(x, y) \to D(x, y)$ that preserve composition.
- CommentRowNumber18.
- CommentAuthorMike Shulman
- CommentTimeSep 22nd 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexAn [[identity-on-objects functor]] is also just a category enriched over $Set^\to$, and as mentioned at [[premonoidal category]] it can be defined more abstractly using the funny tensor product on $Cat$. So I don't think they are un-categorical.

An identity-on-objects functor is also just a category enriched over $Set^\to$ , and as mentioned at premonoidal category it can be defined more abstractly using the funny tensor product on $Cat$ . So I don’t think they are un-categorical.
- CommentRowNumber19.
- CommentAuthorRodMcGuire
- CommentTimeSep 22nd 2017
- (edited Sep 22nd 2017)
- PermaLink
Author: RodMcGuire
Format: MarkdownItexMike, I saw your changes to [[identity-on-objects functor]]. I think what we need is a name for the structure which is two categories sharing the same objects. Might I suggest __twin category__, though this might be misleading because it really isn't a category. E.g. you can't just have a functor from some category to a twin pair. Something must be provided to specify which twin component the functor goes to, somewhat like * $F: A \to first(Twin)$ Maybe __category twins__ for the name? (even better metaphorically might be the name [conjoined twins](https://en.wikipedia.org/wiki/Conjoined_twins) but that may be too gruesome, and "conjoined" might be assumed to have a mathematical not anatomical meaning) Edit: How about __category siblings__? with the metaphor being they share things (objects). Though the metaphor is somewhat off in that it might convey that they have some notion of parent that they share.
Mike, I saw your changes to identity-on-objects functor.

I think what we need is a name for the structure which is two categories sharing the same objects. Might I suggest twin category, though this might be misleading because it really isn’t a category.

E.g. you can’t just have a functor from some category to a twin pair. Something must be provided to specify which twin component the functor goes to, somewhat like
- $F: A \to first(Twin)$
Maybe category twins for the name? (even better metaphorically might be the name conjoined twins but that may be too gruesome, and “conjoined” might be assumed to have a mathematical not anatomical meaning)

Edit: How about category siblings? with the metaphor being they share things (objects). Though the metaphor is somewhat off in that it might convey that they have some notion of parent that they share.
- CommentRowNumber20.
- CommentAuthorRodMcGuire
- CommentTimeSep 22nd 2017
- PermaLink
Author: RodMcGuire
Format: MarkdownItexThere is another need for a general name for a structure of __conjoined__ categories that share the same objects. Namely a [[subcategory]] of category shares objects with the category and if it is a [[wide subcategory]] it has the same objects, as does a structure composed of two wide subcategories. There are all sorts of extra things you can do with subcategories that depend on (some) of their objects being the same that you can't do with a family of unconjoined categories.

There is another need for a general name for a structure of conjoined categories that share the same objects. Namely a subcategory of category shares objects with the category and if it is a wide subcategory it has the same objects, as does a structure composed of two wide subcategories.

There are all sorts of extra things you can do with subcategories that depend on (some) of their objects being the same that you can’t do with a family of unconjoined categories.
- CommentRowNumber21.
- CommentAuthorMike Shulman
- CommentTimeSep 22nd 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexWhy do you think we need a name for two categories with the same objects and *no* relation between their arrows? I can't think of any examples where such a thing arises. A wide subcategory is the same as an [[M-category]]. And I haven't thougt about this before, but I suspect that a category equipped with an arbitrary subcategory could be identified with a category enriched over a certain 2-object bicategory or double category.

Why do you think we need a name for two categories with the same objects and no relation between their arrows? I can’t think of any examples where such a thing arises. A wide subcategory is the same as an M-category. And I haven’t thougt about this before, but I suspect that a category equipped with an arbitrary subcategory could be identified with a category enriched over a certain 2-object bicategory or double category.
- CommentRowNumber22.
- CommentAuthormaxsnew
- CommentTimeSep 22nd 2017
- PermaLink
Author: maxsnew
Format: MarkdownItexAdded a brief idea section.

Added a brief idea section.
- CommentRowNumber23.
- CommentAuthorTodd_Trimble
- CommentTimeSep 22nd 2017
- PermaLink
Author: Todd_Trimble
Format: MarkdownItexI'm still wondering (cf. #14) what a locally $\emptyset$-presentable category is. Is it a case of some tricky negative thinking or some such thing?

I’m still wondering (cf. #14) what a locally $\emptyset$ -presentable category is. Is it a case of some tricky negative thinking or some such thing?
- CommentRowNumber24.
- CommentAuthorMike Shulman
- CommentTimeSep 22nd 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexI'm wondering that too.

I’m wondering that too.
- CommentRowNumber25.
- CommentAuthorMike Shulman
- CommentTimeSep 23rd 2017
- PermaLink
Author: Mike Shulman
Format: MarkdownItexWell, "locally $\emptyset$-presentable" was added in the original version of the page by Bram Geron, who may not be reading the forum, and the doi link in the citation given is broken. But I found another copy of the paper cited [here](http://www.cs.ox.ac.uk/people/samuel.staton/papers/freyd-lawvere-2014.pdf), and it looks like what is meant is a "locally $D$-presentable category" where $D$ is the "empty sound doctrine"; see sections 2.2, 3.1, and 3.2.

Well, “locally $\emptyset$ -presentable” was added in the original version of the page by Bram Geron, who may not be reading the forum, and the doi link in the citation given is broken. But I found another copy of the paper cited here, and it looks like what is meant is a “locally $D$ -presentable category” where $D$ is the “empty sound doctrine”; see sections 2.2, 3.1, and 3.2.
- CommentRowNumber26.
- CommentAuthorSam Staton
- CommentTimeDec 28th 2021
- PermaLink
Author: Sam Staton
Format: MarkdownItexLittle bit more detail about the Freyd category from a strong monad. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/14">v14</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

Little bit more detail about the Freyd category from a strong monad.

diff, v14, current
- CommentRowNumber27.
- CommentAuthorSam Staton
- CommentTimeDec 28th 2021
- PermaLink
Author: Sam Staton
Format: MarkdownItexA bit more background in the opening paragraph. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/14">v14</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

A bit more background in the opening paragraph.

diff, v14, current
- CommentRowNumber28.
- CommentAuthorUrs
- CommentTimeDec 28th 2021
- PermaLink
Author: Urs
Format: MarkdownItexI have added some hyperlinks to keywords and author names; and I fixed the grammar of the second sentence ("...consisting of a category that model[s]..."). <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/16">v16</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

I have added some hyperlinks to keywords and author names; and I fixed the grammar of the second sentence (“…consisting of a category that model[s]…”).

diff, v16, current
- CommentRowNumber29.
- CommentAuthornLab edit announcer
- CommentTimeAug 24th 2022
- PermaLink
Author: nLab edit announcer
Format: MarkdownItexmaking the phrase 'Having the same objects' and 'has the same objects' link to [[categories with the same collection of objects]] Anonymous <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/19">v19</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

making the phrase ’Having the same objects’ and ’has the same objects’ link to categories with the same collection of objects

Anonymous

diff, v19, current
- CommentRowNumber30.
- CommentAuthorSam Staton
- CommentTimeAug 28th 2022
- PermaLink
Author: Sam Staton
Format: MarkdownItexI think it's better to mention the principle of equivalence after the definitions, not before, since for many people this is a minor caveat (rightly or wrongly). <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/20">v20</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

I think it’s better to mention the principle of equivalence after the definitions, not before, since for many people this is a minor caveat (rightly or wrongly).

diff, v20, current
- CommentRowNumber31.
- CommentAuthorMike Shulman
- CommentTimeAug 29th 2022
- PermaLink
Author: Mike Shulman
Format: MarkdownItexRightly. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/21">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/21">v21</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

Rightly.

diff, v21, current
- CommentRowNumber32.
- CommentAuthorvarkor
- CommentTimeFeb 25th 2024
- PermaLink
Author: varkor
Format: MarkdownItexReplaced dead link with a DOI. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/22">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/22">v22</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

Replaced dead link with a DOI.

diff, v22, current
- CommentRowNumber33.
- CommentAuthorvarkor
- CommentTimeFeb 27th 2024
- PermaLink
Author: varkor
Format: MarkdownItexAdded cross-reference to [[arrow]]. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/23">v23</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

Added cross-reference to arrow.

diff, v23, current
- CommentRowNumber34.
- CommentAuthorvarkor
- CommentTimeFeb 27th 2024
- PermaLink
Author: varkor
Format: MarkdownItexAdded etymology for Freyd categories, following an email exchange with John Power. <a href="https://ncatlab.org/nlab/revision/diff/Freyd+category/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/Freyd+category/23">v23</a>, <a href="https://ncatlab.org/nlab/show/Freyd+category">current</a>

Added etymology for Freyd categories, following an email exchange with John Power.

diff, v23, current

1 to 34 of 34

nForum

Discussion Feed

Not signed in

Discussion Tag Cloud

nLab > Latest Changes: Freyd category