# Category Archives: Type Theory

## Relation Theory • Discussion 5

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, I haven’t run across the concept of a meta‑model before so … Continue reading

## Relation Theory • Discussion 4

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, Thanks for the question.  I believe I’d say yes to the … Continue reading

## Survey of Precursors Of Category Theory • 3

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  A Survey of resources on … Continue reading

## Survey of Relation Theory • 6

In this Survey of blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many of … Continue reading

## Survey of Relation Theory • 5

In this Survey of blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many of … Continue reading

## Relation Theory • Discussion 3

Re: Relation Theory • (1) • (2) • (3) • (4) • (5) Re: Laws of Form • James Bowery JB: Thanks for that very rigorous definition of “relation theory”. Its “trick” of including the name of the -relation in … Continue reading

## Relation Theory • Discussion 2

Re: Relation Theory • (1) • (2) • (3) • (4) Re: FB | Charles S. Peirce Society • Joseph Harry JH: These are iconic representations dealing with logical symbolic relations, and so of course are semiotic in Peirce’s sense, … Continue reading

## Notes On Categories • 2

Re: Category Theory • Joe Moeller JM: In category theory, we have this perspective that we should focus attention on maps, on the relationships between objects, rather than on the objects themselves.  What’s your favorite examples of people giving a … Continue reading

## C.S. Peirce and Category Theory • 8

Re: Category Theory • Henry Story Re: Laws of Form • Lyle Anderson LA: As I am trying to get “frame sync” on this discussion, as the satellite communications people say, I am taking clues from the introduction to the … Continue reading

## C.S. Peirce and Category Theory • 7

Re: Category Theory • Henry Story HS: I’d be very interested in the comments of people who know about Peirce on the two chapters in the book Diagrammatic Immanence I linked to above on “3. Peirce” and “4. Diagrams of Variation : … Continue reading