ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • sketch  (2)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Applied categorical structures 8 (2000), S. 503-517 
    ISSN: 1572-9095
    Keywords: Morita equivalence ; sketch
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Equivalence of sketches S and T means the equivalence of their categories ModS and ModT of all Set-valued models. E. Vitale and the second author have characterized equivalence of limit-sketches by means of bimodels, where a bimodel for limit sketches S and T is a model of S in the category ModT. For general sketches, we show that an analogous result holds provided that ModT is substituted by a more complex category; e.g., in case of limit-coproduct sketches, that category is ∏(ModT), the free product completion of ModT.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Applied categorical structures 4 (1996), S. 227-240 
    ISSN: 1572-9095
    Keywords: 18B99 ; sketch ; accessible category ; model ; infinitary logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract A survey of results on categories which can be sketched by a finitary sketch (i.e., a sketch with finite limit and finite colimit specifications) or by a geometric sketch (i.e., a sketch with finite limit specifications and arbitrary colimit specifications) is presented. Transitive-hull theories are introduced which precisely characterize finitarily sketchable categories.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...