Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

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).
    • CommentRowNumber1.
    • CommentAuthorPeter Heinig
    • CommentTimeJul 13th 2017
    • (edited Jul 13th 2017)

    Is there any notion and technical term in category theory for the concept of acirclic category described below ?

    The most strict definition of the term, i.e. category C\mathsf{C} such that the quiver obtained from C\mathsf{C} by applying the forgetful functor CatQuivCat\rightarrow Quiv does not contain any directed-cycle-of-length-at- least-two-without-repeated-vertices is probably much too combinatorial and strict (use of equality, use of negations…), but what about

    acirclic category :=:= category C\mathsf{C} such that there does not exist any finite sequence of objects O 0,...,O 1O_0,...,O_{\ell-1} such that

      • no two of the O iO_i are isomorphic in C\mathsf{C}
      • the hom-set C(O i,O i+1)\mathsf{C}(O_i,O_{i+1}) is non-empty for each ii\in\ell, with index-calculations modulo \ell.

    This at least does not speak of equality of objects.

    I never saw this being an issue in category theory anywhere. In this case I am not saying this should be studied.

    At least according to some definitions of importance, it evidently is unimportant from a category-theoretical perspective. Possible this has to do with the definition making too much use of negatives. Another aspect is that acirclic categories are intuitively very far from groupoids.

    One instructive aspect of this might be to try to characterize acirclicity in categorical terms.

    Terminological note: chose “acirclic” since it is more distinctive and different from the many standard uses of “acyclic”

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 13th 2017

    Every isomorphism in the preorder reflection is an identity: is that equivalent to the condition you’re after?

    Or equivalently, that the preorder reflection is isomorphic to the poset reflection?

    I don’t know how this condition is referred to in the literature, if it is.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeJul 13th 2017
    • (edited Jul 13th 2017)

    How is your notion related to SWOLs (small categories without loops) which occur in the theory of Haefliger on Complexes of groups. (There isn introduction here but you should really look at Bridson and Haefliger’s book (you only need the later part.) These are also cropping up in work on directed homotopy as loop free categories.