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


  • A Tale of Two Cities (by )
  • Sacred Books (by )
  • Ades Web Magazine: New York City Volume 1 (by )
  • Attaining the Worlds Beyond (by )
  • Space Technology & Space Exploration Tec... (by )
  • Trei Povestiri (by )
  • الآداب والأخلاق : نشرة شهرية تعني بشؤون ... (by )
  • Kahea Loko (by )
  • Bridge Bidding - Standard American Yello... (by )
  • The Early Mapping of Hawai'I (by )
  • Ades Web Magazine: Australia Volume 2 (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.