BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Nima Rasekh

Nima Rasekh contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTmath.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
2topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

A Model for the Higher Category of Higher Categories

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that classifies Reedy left fibrations, Segal coCartesian fibrations, coCartesian fibrations and left fibrations and prove these are representable fibrations. Finally, we use equivalences between quasi-categories and complete Segal spaces to present analogous constructions using fibrations of quasi-categories.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Theory of Elementary Higher Toposes

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure, locality and classification of univalent morphisms, generalizing results by Lurie and Gepner-Kock. We also define $\infty$-logical functors and show the resulting $\infty$-category is closed under limits and filtered colimits, generalizing the analogous result for elementary toposes and Grothendieck $\infty$-toposes. Moreover, we give an alternative characterization of elementary $\infty$-toposes and their $\infty$-logical functors via their ind-completions. Finally we generalize these results by discussing the case of elementary (n,1)-toposes and give various examples and non-examples.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Cartesian Fibrations and Representability

We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In particular, we give a construction of representable Cartesian fibrations using over-categories and prove the Yoneda lemma for representable Cartesian fibration, which generalizes the established Yoneda lemma for right fibrations. We then use the theory of Cartesian fibrations to study complete Segal objects internal to an $\infty$-category. Concretely, we prove the {\it fundamental theorem of complete Segal objects}, which characterizes equivalences of complete Segal objects. Finally we give two application of the results. First, we present a method to construct Segal objects and second we study the representability of the universal coCartesian fibration.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Cartesian Fibrations of Complete Segal Spaces

Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(\infty,1)$-category theory to study presheaves valued in $(\infty,1)$-categories. In this work we define and study fibrations modeling presheaves valued in simplicial spaces and their localizations. This includes defining a model structure for these fibrations and giving effective tools to recognize its fibrations and weak equivalences. This in particular gives us a new method to construct Cartesian fibrations via complete Segal spaces. In addition to that, it allows us to define and study fibrations modeling presheaves of Segal spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Yoneda Lemma for Simplicial Spaces

We study the Yoneda lemma for arbitrary simplicial spaces. We do that by introducing left fibrations of simplicial spaces and and studying its associated model structure, the covariant model structure. In particular, we prove a recognition principle for covariant equivalences over an arbitrary simplicial space and invariance of the covariant model structure with respect to complete Segal space equivalences.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An Elementary Approach to Truncations

We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave similar to standard truncated objects. Moreover, we take an elementary approach to localizations, giving various equivalent conditions that characterize localizations and constructing a localization out of a sub-universe of local objects via an internal right Kan extension. We then use this general approach, as well as an inductive approach, to construct truncation functors. We use the resulting truncation functors to prove classical results about truncations, such as Blakers-Massey theorem, in the elementary setting. We also give examples of non-presentable $(\infty, 1)$-categories where the elementary approach can be used to define and compute truncations. Finally, we turn around and use truncations to study elementary $(\infty, 1)$-toposes and show how they can help us better understand subobject classifiers and universes

0 citations0 reviewsNo code linkedOpen access