nLab
abstract general, concrete general and concrete particular

Contents

Idea

The category theoretic notions of

on the one hand and of

on the other have been suggested (Lawvere) to usefully formalize, respectively, the heuristic notions

  • “general” and “particular”

as well as

  • “abstract” and “concrete”, respectively.

We have:

That seems to be roughly what is suggested in Lawvere. Of course one could play with this further and consider further refinement such as

  • a (generating) object in TT is an abstract particular ;

  • an object of any TMod(E)T Mod(E) is a concrete particular.

Examples

Groups

The syntactic category T GrpT_{Grp} of the theory of groups is the “general abstract” of groups. Its essentially unique generating object is the abstract particular group.

The category T GrpMod(Set)=T_{Grp} Mod(Set) = Grp of all groups is the concrete general of groups.

An object in there is some group: a concrete particular.

References

The category-theoretic formalization of these notions as proposed by Bill Lawvere is disussed in print for instance in

  • Bill Lawvere, Categorical refinement of a Hegelian principle, section 1 of Bill Lawvere, Tools for the advancement of objective Logic: Closed categories and toposes, in John Macnamara, Gonzalo Reyes, the logical foundations of cognition, Oxford University Press (1994)

See also an email comment recorded here.

For discussion of “particular” and related in philosophy see also

Revised on December 25, 2012 13:31:04 by Urs Schreiber (89.204.130.123)