World Library  


Add to Book Shelf
Flag as Inappropriate
Email this Book

Grothendieck Universes and Indefinite Extensibility

By Khudairi, Hasen

Click here to view

Book Id: WPLBN0100003132
Format Type: PDF (eBook)
File Size: 160.09 KB
Reproduction Date: 9/2/2018

Title: Grothendieck Universes and Indefinite Extensibility  
Author: Khudairi, Hasen
Volume:
Language: English
Subject: Non Fiction, Philosophy
Collections: Authors Community, Philosophy
Historic
Publication Date:
2018
Publisher: Gutenberg
Member Page: Hasen Khudairi

Citation

APA MLA Chicago

Khudairi, H. (2018). Grothendieck Universes and Indefinite Extensibility. Retrieved from http://worldebooklibrary.net/


Description
This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility in the category-theoretic setting is identifiable with the Kripke functors of modal coalgebraic automata, where the automata model Grothendieck Universes and the functors are further inter-definable with the elementary embeddings of large cardinal axioms. The Kripke functors definable in Grothendieck universes are argued to account for the ontological expansion effected by the elementary embeddings in the category of sets. By characterizing the modal profile of $\Omega$-logical validity, and thus the generic invariance of mathematical truth, modal coalgebraic automata are further capable of capturing the notion of definiteness, in order to yield a non-circular definition of indefinite extensibility.

 

Click To View

Additional Books


  • La Transformación (by )
  • Avigaria Di Comun : Vocatio in judicium (by )
  • Ko Pele Hiki 'Ana Mai I Hawai'I (by )
  • A Tale of Two Cities (by )
  • Take Modern : Level 6, Book 2 Volume Level 6, Book 2 (by )
  • Talaash – Discover Your True Self : Engl... (by )
  • Transformation Through Bodywork : Using ... (by )
  • Easy : Dashuria nuk është gjithmonë e le... (by )
  • Aia He Kaheka (by )
  • Kisah Tersirat, Sebuah Apresiasi Analiti... (by )
  • Protection Engineering Basics and Schmes... Volume 1 (by )
  • Kahea Loko (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.