Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

116

IGPL
2007

73views more IGPL 2007»

Fibred and Indexed Categories for Abstract Model Theory

15 years 2 months ago

Fibred and Indexed Categories for Abstract Model Theory

Download www.inf.pucrs.br

Alfio Martini, Uwe Wolter, Edward Hermann Haeusler

Real-time Traffic

IGPL 2007 |

claim paper

Related Content

» Basic Category Theory for Models of Syntax

» Database Engineering from the Category Theory Viewpoint

» A Name Abstraction Functor for Named Sets

» Formalizing Ontology Alignment and its Operations with Category Theory

» Mixed Relations as Enriched Semiringal Categories

» Indexed Induction and Coinduction Fibrationally

» MultiAmalgamation in Adhesive Categories

» Models of nonwellfounded sets via an indexed final coalgebra theorem

» Measuring concept relatedness using language models

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2007
Where	IGPL
Authors	Alfio Martini, Uwe Wolter, Edward Hermann Haeusler

Comments (0)