Skip to main content

U-Small and U-Locally Small Categories Cover

.blurhash-client-img { display: none !important; }

U-Small and U-Locally Small Categories

Formalized Mathematics

Volume 32 (2024): Issue 1 (August 2024)

By: Roland Coghetto

Open Access

|Dec 2024

Download Article

Download the full article as a PDF file.

Articles in this issue

DOI: https://doi.org/10.2478/forma-2024-0006 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 77 - 92

Accepted on: Nov 8, 2024

|

Published on: Dec 12, 2024

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Publication frequency: 1 issue per year

Keywords:

Tarski-Grothendieck set theory,

Grothendieck universe,

U-small category,

U-locally small category

Related subjects:

Logic and set theory,

Computer sciences,

Artificial intelligence

© 2024 Roland Coghetto, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 32 (2024): Issue 1 (August 2024)

Previous article